Repository navigation
unions with only Abi::Scalar fields should get Abi::Scalar themselves #114383
Description
Consider these types:
union U1 { f: usize }
union U2 { f: *const i32 }
union U3 { f: usize, g: *const i32 }The first two are getting scalar ABI, but the last one is an aggregate. (As shown by this debug output.)
It seems reasonable to also give the last union Scalar ABI, no? Of course it should be Scalar::Union, but still.
@scottmcm ran into this in #113344.
Cc @eddyb @oli-obk (as usual for layout issues ;)
Reacted by scottmcm
Activity
[-]unions with mutliple Abi::Scalar fields should get Abi::Scalar themselves[/-][+]unions with only Abi::Scalar fields should get Abi::Scalar themselves[/+]