[clang] [Sema] When checking for constraint equivalence, do not calculate satisfaction (PR #74490)

[Ilya Biryukov via cfe-commits]

================
@@ -4077,6 +4084,7 @@ Sema::SubstExpr(Expr *E, const 
MultiLevelTemplateArgumentList &TemplateArgs) {
   TemplateInstantiator Instantiator(*this, TemplateArgs,
                                     SourceLocation(),
                                     DeclarationName());
+  Instantiator.setEvaluateConstraints(false);
----------------
ilya-biryukov wrote:

Oh, and another signal that gave me optimism is that all existing tests pass. 
However, I am not sure if they are extensive.

https://github.com/llvm/llvm-project/pull/74490
_______________________________________________
cfe-commits mailing list
cfe-commits@lists.llvm.org
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits