Mypy should infer the type of a variable if the first initializer is `None`: ``` def f() -> None: x = None if foo: x = '' # type of x should be str here ```