If a definable item
D is defined in a translation unit
by an injected declaration
X (
[expr.const]) and
another translation unit contains a definition of
D,
that definition shall be an injected declaration
having the same characteristic sequence as
X;
a diagnostic is required only if
D is attached to a named module and
a prior definition is reachable at the point where a later definition occurs
.