Only mark unions as uninhabited if all of their fields are uninhabited#46859

Merged

bors merged 3 commits intorust-lang:masterfrom gereeter:uninhabited-unions

Dec 24, 2017

+50-11

Commits on Dec 19, 2017

Only mark unions as uninhabited if all of their fields are uninhabited. Fixes rust-lang#46845 .
gereeter
committed

Commits on Dec 21, 2017

Never mark unions as uninhabited. Although I think this is wrong, it is certainly sound, and the general consensus seems to value not having footguns over some sort of aesthetic consistency.
gereeter
committed

Commits on Dec 24, 2017

Remove unnecessary assert that unions have only one variant
gereeter
committed