https://github.com/cplusplus/draft/blob/52c7080115598baddd61b050c707d2a05a5fa2f7/source/support.tex#L3853 This line was added in #5713, when applying the changes proposed in [P1642R11](https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2022/p1642r11.html). The paper does not propose this change. There is no corresponding wording in [compliance] either.