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


5.1.20 No_Dispatch

[RM H.4] This restriction ensures at compile time that there are no occurrences of T'Class, for any (tagged) subtype T.