Intriguing Pointer Equality Behavior on Zero-Width Types

I’d like to report an intriguing behavior regarding the pointer equality of zero-width types. Apologies if this is trivial or a known issue. The two codes below appear to be identical, yet the results of &a == &b differ. It seems predictable that “variables go into separate addresses on the stack,…