It's not a union, though, it stores references to three memory locations, not just one (as a union represents a single memory location which can have multiple p

It's not a union, though, it stores references to three memory locations, not just one (as a union represents a single memory location which can have multiple possible interpretations). And the lowered code has nothing protecting it from an invariant where more than one reference is non-null!