---

5.1.72 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.