[Typing-sig] Re: Unions and initialization across type checkers

E.g, why would this: def foo(x: Union[str, int]) -> int: x = 5 return x Behave differently than: def foo(x: Union[str, int]) -> int: if isinstance(x, int): return x return 5 If both are considered narrowing?