{AI05-0229-1}
A pragma Unchecked_Union
specifies that the Unchecked_Union aspect (see B.3.3)
for the type denoted by first_subtype_local_name
has the value True.
Wording Changes from Ada 2005
4.a/3
{AI05-0229-1}
This clause is new. Pragma Unchecked_Union was moved here from B.3.3;
aspect Unchecked_Union lives there now.
Ada 2005 and 2012 Editions sponsored in part by Ada-Europe