================
@@ -70,7 +70,14 @@ struct alignas(ConstraintAlignment) AtomicConstraint {
// We do not actually substitute the parameter mappings into the
// constraint expressions, therefore the constraint expressions are
// the originals, and comparing them will suffice.
- if (ConstraintExpr != Other.ConstraintExpr)
+ if (AC.ConstraintExpr != Other.AC.ConstraintExpr)
+ return false;
+
+ // FIXME: As the normalization cache doesn't take
+ // ArgumentPackSubstitutionIndex into account,
+ // this won't have an effect.
+ if (AC.ArgumentPackSubstitutionIndex !=
+ Other.AC.ArgumentPackSubstitutionIndex)
----------------
mizvekov wrote:
Following the discussion in the reflector:
http://lists.isocpp.org/core/2025/03/17677.php
There is agreement, so far, that ignoring the expansion here is wrong.
https://github.com/llvm/llvm-project/pull/132626
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
