For a constexpr function or constexpr constructor
that is neither defaulted nor a template,
if no argument values exist such that
an invocation of the function or constructor could be an evaluated subexpression of a
core constant expression
for a constructor, an evaluated subexpression of
the initialization full-expression of some constant-initialized object ([basic.start.static]
the program is ill-formed, no diagnostic required.