Next: , Previous: , Up: Partition-Wide Restrictions   [Contents][Index]


5.1.70 No_Unchecked_Deallocation

[RM J.13] This restriction ensures at compile time that there are no semantic dependences on the predefined generic procedure Unchecked_Deallocation.