Next: No_Implicit_Loops, Previous: No_Implicit_Dynamic_Code, Up: Partition-Wide Restrictions
[RM D.7] No constructs are allowed to cause implicit heap allocation.