Next: No_Unchecked_Deallocation, Previous: No_Unchecked_Access, Up: Partition-Wide Restrictions [Contents][Index]
[RM J.13] This restriction ensures at compile time that there are no semantic dependences on the predefined generic function Unchecked_Conversion.