diff --git a/clang/lib/Sema/SemaTemplate.cpp b/clang/lib/Sema/SemaTemplate.cpp --- a/clang/lib/Sema/SemaTemplate.cpp +++ b/clang/lib/Sema/SemaTemplate.cpp @@ -8923,17 +8923,31 @@ return nullptr; } - if (TemplateParameterLists.front()->size() == 0) { + TemplateParameterList *Params = TemplateParameterLists.front(); + + if (Params->size() == 0) { Diag(NameLoc, diag::err_concept_no_parameters); return nullptr; } + for (TemplateParameterList::const_iterator ParamIt = Params->begin(), + ParamEnd = Params->end(); + ParamIt != ParamEnd; ++ParamIt) { + Decl const *Param = *ParamIt; + if (Param->isParameterPack()) { + if (++ParamIt == ParamEnd) + break; + Diag(Param->getLocation(), + diag::err_template_param_pack_must_be_last_template_parameter); + return nullptr; + } + } + if (DiagnoseUnexpandedParameterPack(ConstraintExpr)) return nullptr; - ConceptDecl *NewDecl = ConceptDecl::Create(Context, DC, NameLoc, Name, - TemplateParameterLists.front(), - ConstraintExpr); + ConceptDecl *NewDecl = + ConceptDecl::Create(Context, DC, NameLoc, Name, Params, ConstraintExpr); if (NewDecl->hasAssociatedConstraints()) { // C++2a [temp.concept]p4: diff --git a/clang/test/SemaTemplate/concepts.cpp b/clang/test/SemaTemplate/concepts.cpp --- a/clang/test/SemaTemplate/concepts.cpp +++ b/clang/test/SemaTemplate/concepts.cpp @@ -766,3 +766,24 @@ __iterator_traits_member_pointer_or_arrow_or_void> f; } }// namespace InheritedFromPartialSpec + +namespace GH48182 { +template // expected-error{{template parameter pack must be the last template parameter}} +concept invalid = true; + +template requires invalid // expected-error{{use of undeclared identifier 'invalid'}} +no errors are printed +; + +static_assert(invalid also here ; // expected-error{{use of undeclared identifier 'invalid'}} + +int foo() { + bool b; + b = invalid not just in declarations; // expected-error{{expected ';' after expression}} + // expected-error@-1{{use of undeclared identifier 'invalid'}} + // expected-error@-2{{expected ';' after expression}} + // expected-error@-3{{use of undeclared identifier 'just'}} + // expected-error@-4{{unknown type name 'in'}} + return b; +} +} // namespace GH48182 \ No newline at end of file