================ @@ -951,7 +951,8 @@ static const Expr *SubstituteConstraintExpressionWithoutSatisfaction( DeclInfo.getDecl(), DeclInfo.getLexicalDeclContext(), /*Final=*/false, /*Innermost=*/std::nullopt, /*RelativeToPrimary=*/true, - /*Pattern=*/nullptr, /*ForConstraintInstantiation=*/true, + /*Pattern=*/nullptr, + !isa_and_present<ClassTemplateDecl>(DeclInfo.getDecl()), ---------------- jcsxky wrote:
By the way, I don't think we always need outer arguments since the depth of the `TemplateTypeParmType` in `ConceptSpecializationExpr` is 1 (not 0). https://github.com/llvm/llvm-project/pull/102554 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits