Next: No_Default_Initialization, Previous: No_Calendar, Up: Partition-Wide Restrictions
[RM H.4] This restriction ensures at compile time that there are no coextensions. See 3.10.2.