Next: , Previous: No_Unchecked_Access, Up: Partition-Wide Restrictions


5.1.70 No_Unchecked_Conversion

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