Why is this object's type resolving to one side of a type union?

Question

See this playground.

Why on line 18 has obj already resolved as Foo, which causes it to then be of type never on line nineteen? It