Status of packed unions?

[cryptocode]

@ericlang

Will in the future comparison with == be possible like with packed structs?

Packed union comparison

Why is a packed union not comparable with == like for example a packed struct? Is that because some bits could be uninitialized if we have two different sized fields inside it?