Next: No_Protected_Types, Previous: No_Nested_Finalization, Up: Partition-Wide Restrictions
[RM D.7] This restriction ensures at compile time that there are no allocator expressions that attempt to allocate protected objects.