[Lint] Fix import in test_tvmscript_type.py

[gigiblender]

#12496 does not patch an import that caused the linter to fail. This PR fixes it.

@driazati

[tvm-bot]

Thanks for contributing to TVM! Please refer to the contributing guidelines https://tvm.apache.org/docs/contribute/ for useful information and tips. Please request code reviews from Reviewers by @-ing them in a comment.

• No users to tag found in teams: lint _{See #10317 for details}
• Built docs for commit 4469d1b can be found here.
• This PR had no significant effect on CI runtime: -5.86% (167.4m -> 157.59m)

_{Generated by tvm-bot}

[driazati]

Code looks relatively harmless but why wasn't this caught in CI / tests?

[junrushao]

Yeah I'm curious too, but it's good that we caught it now

[junrushao]

Would you mind sharing the error message from the linter? Thanks!

[gigiblender]

Would you mind sharing the error message from the linter? Thanks!

It was a python module not found error. I ran the linter locally using the docker image and, strangely am no longer able to reproduce it

[junrushao]

Perhaps it could be some caching issues

[junrushao]

hey what shall we do with this PR? probably we could close if the issue is not longer reproducible?

[gigiblender]

hey what shall we do with this PR? probably we could close if the issue is not longer reproducible?

Agree to close it.