The following does not produce an error but it should: ```python from typing import Any def func[T](x: type[T]) -> None: ... func(Any) # Should produce error ```