Next: No_Implicit_Aliasing, Previous: No_Implementation_Restrictions, Up: Program Unit Level Restrictions
[RM 13.12.1] This restriction checks at compile time that there is no mention in the context clause of any implementation-defined descendants of packages Ada, Interfaces, or System.