[libcxx-commits] [libcxx] [libc++] P2167R3: Improved Proposed Wording for LWG 2114 (PR #109102)

[Louis Dionne via libcxx-commits]

https://github.com/ldionne commented:

Thanks for the patch! I have a few questions but I think I'm fine with everything in the patch, once the questions have been answered.

> I strongly feel that P2167R3 should be a DR despite that it is not a DR officially: CPOs -> C++20; remain parts -> C++98/11 (except that boolean-testable should be transformed into the original BooleanTestable requirements in the old resolution of LWG2114).

I didn't see any changes related to CPOs in the paper (which I only skimmed). Did I miss something?

> Note that P2167R3 damaged the resolution of LWG3465: the type of F < E was left underconstrained. I've tried to submit an LWG issue for this.

I don't think I see test changes reflecting that. Did we have proper coverage for LWG3465?

https://github.com/llvm/llvm-project/pull/109102