Under `--strict-optional`, the following yields an error: ``` f=None # type: Optional[Callable[..., None]] # ... if f is None: f = lambda *x: None f() # error: None not callable ``` Ideally, `f` should be understood not to be None at that point.