Re: [PATCH] c++: partial ordering and dependent operator expr [PR105425]

2022-04-28 Thread Jakub Jelinek via Gcc-patches
On Thu, Apr 28, 2022 at 12:53:06PM -0400, Patrick Palka wrote: > Here ever since r12-6022-gbb2a7f80a98de3 we stopped deeming the partial > specialization #2 to be more specialized than #1 ultimately because > dependent operator expressions now have a DEPENDENT_OPERATOR_TYPE type > instead of an emp

[PATCH] c++: partial ordering and dependent operator expr [PR105425]

2022-04-28 Thread Patrick Palka via Gcc-patches
Here ever since r12-6022-gbb2a7f80a98de3 we stopped deeming the partial specialization #2 to be more specialized than #1 ultimately because dependent operator expressions now have a DEPENDENT_OPERATOR_TYPE type instead of an empty type, and this made unify stop deducing T(2) == 1 for K during parti