Next: No_Protected_Type_Allocators, Previous: No_Multiple_Elaboration, Up: Partition-Wide Restrictions
[RM D.7] All objects requiring finalization are declared at the library level.