Description
The inferred type for x is unexpected (especially when using --strict-optional):
from typing import TypeVar
T = TypeVar('T')
def f() -> T: pass
x = f()
reveal_type(x) # NoneIt would be better to require an annotation for x.
{{ message }}