Repository navigation
Don't silently ignore some partial types #3031
Description
After #3024, mypy won't complain when inferring the type of a variable as None. Unfortunately, in some circumstances we drop information about the variable that makes this invalid. For example:
T = TypeVar('T')
def f(*x: T) -> Dict[int, T]: pass
x = None
if bool():
x = f()
reveal_type(x) # E: Revealed type is 'builtins.None'
Activity
ddfisher commentedon Mar 19, 2017
See also:
testPartiallyInitializedToNoneAndThenToIncompleteType.Discard partials remaining after inference failure (python#20126)