================
@@ -2249,8 +2287,14 @@ NormalizedConstraint 
*NormalizedConstraint::fromConstraintExpr(
       // Use canonical declarations to merge ConceptDecls across
       // different modules.
       ConceptDecl *CD = CSE->getNamedConcept()->getCanonicalDecl();
+
+      ExprResult Res =
+          SubstituteConceptsInConstrainExpression(S, D, CSE, SubstIndex);
+      if (!Res.isUsable())
+        return nullptr;
+
----------------
cor3ntin wrote:

Yup  - but we only do that if we find concepts template arguments, so I am not 
concerned

https://github.com/llvm/llvm-project/pull/163827
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits

Reply via email to