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
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