Defining a definable item
D
with an injected declaration (
[expr.const.reflect])
in one translation unit and
a definition in a different translation unit
when
D is not attached to a named module
or neither definition is reachable from the other
is ill-formed, no diagnostic required
.