================
@@ -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;
+
----------------
zyn0217 wrote:
Note that a substitution in this function will risk resulting in an exponential
time complexity, unless we can ensure that the substitution in
SubstituteConceptsInConstrainExpression is not deeply recursive. (i.e. at most
1 level substitution)
https://github.com/llvm/llvm-project/pull/163827
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
