If an entity that is the subject of
an explicit instantiation declaration
and that is also used
in a way that would otherwise cause an implicit
instantiation (
[temp.inst])
in the translation unit
is not the subject of
an explicit instantiation definition somewhere in the program
the program is ill-formed, no diagnostic required
.