no error __future__.annotations is imported, targeting python 3.8 and subscripting type in a position where it gets evaluated at runtime

from __future__ import annotations

from typing import cast

a: type[int]

cast(type[int], 1) # runtime error

Found some other ones in the wild

from __future__ import annotations

A = type[int]  # no error

from typing import TypeVar, cast
T = TypeVar("T", bound=type[int])

cast(list[int], 1)

mypy 1.17 has dropped support for Python 3.8:

and mypy 2.0 has dropped support for Python 3.9:

So type[int] should now always be valid for supported Python versions

Navigation Menu