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

That latter case doesn't surprise me personally; if the type checker can prove that the variable is an int (which appears to be true for the checkers listed, ignoring the difference between decls and decls that also preassign a value), why wouldn't it be allowed at that point?