Next: No_Implementation_Pragmas, Previous: No_Implementation_Attributes, Up: Program Unit Level Restrictions
[RM 13.12.1] This restriction checks at compile time that no implementation-defined identifiers occur within language-defined packages.