Makes a union's default constructor and destructor trivial regardless of its members, so unions serve as uninitialized storage, including in constant evaluation.
Other papers in Object lifetime & unions
P2590R2Explicit lifetime managementVirtual Jul 2022P2674R1A trait for implicit lifetime typesIssaquah 2023P2679R2Fixing
std::start_lifetime_as for arraysIssaquah 2023P3726R2Adjustments to Union Lifetime RulesCroydon 2026P3769R1Clarification of placement new deallocationCroydon 2026All 6 papers in Object lifetime & unions →