
Sept. 2, 2020
8:07 p.m.
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?