Next: No_Access_Subprograms, Previous: No_Abort_Statements, Up: Partition-Wide Restrictions
[RM H.4] This restriction ensures at compile time that there are no occurrences of an allocator as the actual parameter to an access parameter.