Next: No_Asynchronous_Control, Previous: No_Allocators, Up: Partition-Wide Restrictions
[RM H.4] This restriction ensures at compile time that there are no occurrences of an allocator of anonymous access type.