diff options
| -rw-r--r-- | clang/lib/Sema/SemaConcept.cpp | 9 | ||||
| -rw-r--r-- | clang/test/SemaTemplate/concepts-out-of-line-def.cpp | 13 |
2 files changed, 22 insertions, 0 deletions
diff --git a/clang/lib/Sema/SemaConcept.cpp b/clang/lib/Sema/SemaConcept.cpp index 2f5fb8f..2588483 100644 --- a/clang/lib/Sema/SemaConcept.cpp +++ b/clang/lib/Sema/SemaConcept.cpp @@ -764,6 +764,15 @@ static const Expr *SubstituteConstraintExpression(Sema &S, const NamedDecl *ND, return ConstrExpr; Sema::SFINAETrap SFINAE(S, /*AccessCheckingSFINAE=*/false); + + Sema::InstantiatingTemplate Inst( + S, ND->getLocation(), + Sema::InstantiatingTemplate::ConstraintNormalization{}, + const_cast<NamedDecl *>(ND), SourceRange{}); + + if (Inst.isInvalid()) + return nullptr; + std::optional<Sema::CXXThisScopeRAII> ThisScope; if (auto *RD = dyn_cast<CXXRecordDecl>(ND->getDeclContext())) ThisScope.emplace(S, const_cast<CXXRecordDecl *>(RD), Qualifiers()); diff --git a/clang/test/SemaTemplate/concepts-out-of-line-def.cpp b/clang/test/SemaTemplate/concepts-out-of-line-def.cpp index b7c91712..25b34f0 100644 --- a/clang/test/SemaTemplate/concepts-out-of-line-def.cpp +++ b/clang/test/SemaTemplate/concepts-out-of-line-def.cpp @@ -399,3 +399,16 @@ inline void W0<T7, 0>::W1<T8>::f(const T9 &) {} } // namespace three_level } // namespace MultilevelTemplateWithPartialSpecialization + +namespace PR62697 { +template<typename> +concept c = true; + +template<typename T> +struct s { + void f() requires c<void(T)>; +}; + +template<typename T> +void s<T>::f() requires c<void(T)> { } +} |