Next: No_Unchecked_Conversion, Previous: No_Terminate_Alternatives, Up: Partition-Wide Restrictions [Contents][Index]
[RM H.4] This restriction ensures at compile time that there are no occurrences of the Unchecked_Access attribute.