================
@@ -4481,11 +4481,40 @@ ExprResult Sema::SubstConceptTemplateArguments(
ExprResult TransformUnresolvedLookupExpr(UnresolvedLookupExpr *E,
bool IsAddressOfOperand = false) {
- if (E->isConceptReference()) {
- ExprResult Res = SemaRef.SubstExpr(E, MLTAL);
- return Res;
- }
- return E;
+ if (!E->isConceptReference())
+ return E;
+
+ assert(E->getNumDecls() == 1 &&
+ "ConceptReference must have single declaration");
+ NamedDecl *D = *E->decls_begin();
+ ConceptDecl *ResolvedConcept = nullptr;
+
+ if (auto *TTP = dyn_cast<TemplateTemplateParmDecl>(D)) {
+ unsigned Depth = TTP->getDepth();
+ unsigned Pos = TTP->getPosition();
+ if (Depth < MLTAL.getNumLevels() &&
+ MLTAL.hasTemplateArgument(Depth, Pos)) {
+ TemplateArgument Arg = MLTAL(Depth, Pos);
+ assert(Arg.getKind() == TemplateArgument::Template);
+ ResolvedConcept =
+ dyn_cast<ConceptDecl>(Arg.getAsTemplate().getAsTemplateDecl());
+ }
+ if (ResolvedConcept == nullptr)
+ return E;
+ } else
+ ResolvedConcept = dyn_cast<ConceptDecl>(D);
----------------
cor3ntin wrote:
```suggestion
ResolvedConcept = cast<ConceptDecl>(D);
```
https://github.com/llvm/llvm-project/pull/184406
_______________________________________________
cfe-commits mailing list
[email protected]
https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits
