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