Final should not be compatible with type[T] #7094
Description
The following should generate an error but doesn't.
T = TypeVar("T")
def takes_type(t: type[T]) -> T:
return t()
takes_type(Final[int])Final is a special form.