we (pytype) are currently working on increasing strictness for things like wrong type assignment or reassignment to explicitly annotated variables, and default function parameters of None without a corresponding Optional type (e.g. f(x: int = None)). so we will still accept the following:
f(x: int = None)
x = 
but this will be an error:
x: List[int] = 
since these changes are potentially very disruptive (because a lot of code that typechecked earlier suddenly does not), we have been gating the new behaviour behind temporary flags; the git history of config.py is some indication of just how hard it is to turn on a stricter check when users have been relying on the lax behaviour.