If the package_name
of a package_renaming_declaration
denotes a limited view of a package P, then a name that denotes
the package_renaming_declaration
shall occur only within the immediate scope of the renaming or the scope
of a with_clause
that mentions the package P or, if P is a nested package,
the innermost library package enclosing P.
At places where the declaration of the limited view
of the renamed package is visible, a name
that denotes the package_renaming_declaration
denotes a limited view of the package (see 10.1.1).