If a translation unit
Q is
imported into a translation unit
R,
the potential scope of a name
X declared with namespace scope in
Q
is extended to include the portion of the corresponding namespace
scope in
R following the first
module-import-declaration
or
module-declaration
in
R that imports
Q (directly or indirectly) if
- X does not have internal linkage, and
- X is declared after the module-declaration in Q (if any), and
- either X is exported or Q and R are part of the same module.