"Shall" in the library wording means that the behavior is undefined when such a requirement is not met by default.
Perhaps we just want ill-formedness, and "non-constant library call" ([defns.nonconst.libcall]) looks appropriate to me since these functions are all consteval.
"Shall" in the library wording means that the behavior is undefined when such a requirement is not met by default.
Perhaps we just want ill-formedness, and "non-constant library call" ([defns.nonconst.libcall]) looks appropriate to me since these functions are all
consteval
.