Index: clang/lib/Sema/SemaCXXScopeSpec.cpp =================================================================== --- clang/lib/Sema/SemaCXXScopeSpec.cpp +++ clang/lib/Sema/SemaCXXScopeSpec.cpp @@ -828,15 +828,30 @@ } if (!Found.empty()) { - if (TypeDecl *TD = Found.getAsSingle()) + if (TypeDecl *TD = Found.getAsSingle()) { Diag(IdInfo.IdentifierLoc, diag::err_expected_class_or_namespace) << Context.getTypeDeclType(TD) << getLangOpts().CPlusPlus; - else { - Diag(IdInfo.IdentifierLoc, diag::err_expected_class_or_namespace) - << IdInfo.Identifier << getLangOpts().CPlusPlus; - if (NamedDecl *ND = Found.getAsSingle()) - Diag(ND->getLocation(), diag::note_entity_declared_at) - << IdInfo.Identifier; + } else { + // Try to diagnose x::y where x is a class template and the + // template arguments are missing. + UnqualifiedId Name; + Name.setIdentifier(IdInfo.Identifier, IdInfo.IdentifierLoc); + CXXScopeSpec EmptySS; + TemplateTy TemplateResult; + bool MemberOfUnknownSpecialization; + if (isTemplateName(S, SS, /*hasTemplateKeyword=*/false, Name, nullptr, + true, TemplateResult, + MemberOfUnknownSpecialization) == TNK_Type_template) { + diagnoseMissingTemplateArguments(TemplateResult.get(), + IdInfo.IdentifierLoc); + } else { + Diag(IdInfo.IdentifierLoc, diag::err_expected_class_or_namespace) + << IdInfo.Identifier << getLangOpts().CPlusPlus; + if (NamedDecl *ND = Found.getAsSingle()) { + Diag(ND->getLocation(), diag::note_entity_declared_at) + << IdInfo.Identifier; + } + } } } else if (SS.isSet()) Diag(IdInfo.IdentifierLoc, diag::err_no_member) << IdInfo.Identifier Index: clang/test/SemaCXX/nested-name-spec.cpp =================================================================== --- clang/test/SemaCXX/nested-name-spec.cpp +++ clang/test/SemaCXX/nested-name-spec.cpp @@ -473,3 +473,10 @@ x: goto x; } } + +template +struct x; // expected-note {{template is declared here}} + +template +int issue55962 = x::a; // expected-error {{use of class template 'x' requires template arguments}} \ + // expected-warning {{variable templates are a C++14 extension}}