See https://cplusplus.github.io/CWG/issues/2538.html EWG discussed this in the context of P1774. See also http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p2552r0.pdf #1212