tbaeder updated this revision to Diff 456389. tbaeder marked 3 inline comments as done.
CHANGES SINCE LAST ACTION https://reviews.llvm.org/D132821/new/ https://reviews.llvm.org/D132821 Files: clang/include/clang/Basic/DiagnosticParseKinds.td clang/test/Parser/cxx-concept-declaration.cpp Index: clang/test/Parser/cxx-concept-declaration.cpp =================================================================== --- clang/test/Parser/cxx-concept-declaration.cpp +++ clang/test/Parser/cxx-concept-declaration.cpp @@ -1,7 +1,12 @@ // Support parsing of concepts // Disabled for now. -// expected-no-diagnostics -// RUN: %clang_cc1 -std=c++14 -x c++ -verify %s -// template<typename T> concept C1 = true; +// RUN: %clang_cc1 -std=c++20 -x c++ -verify %s +template<typename T> concept C1 = true; + +template<class T> +concept C = true; + +template<class T> +class C<int> {}; //expected-error{{identifier followed by '<' indicates a class template specialization but 'C' refers to a concept}} Index: clang/include/clang/Basic/DiagnosticParseKinds.td =================================================================== --- clang/include/clang/Basic/DiagnosticParseKinds.td +++ clang/include/clang/Basic/DiagnosticParseKinds.td @@ -775,7 +775,8 @@ def err_template_spec_syntax_non_template : Error< "identifier followed by '<' indicates a class template specialization but " "%0 %select{does not refer to a template|refers to a function template|" - "<unused>|refers to a variable template|<unused>|refers to a concept}1">; + "<unused>|refers to a variable template|<unused>|<unused>|" + "refers to a concept}1">; def err_id_after_template_in_nested_name_spec : Error< "expected template name after 'template' keyword in nested name specifier">; def err_unexpected_template_in_unqualified_id : Error<
Index: clang/test/Parser/cxx-concept-declaration.cpp =================================================================== --- clang/test/Parser/cxx-concept-declaration.cpp +++ clang/test/Parser/cxx-concept-declaration.cpp @@ -1,7 +1,12 @@ // Support parsing of concepts // Disabled for now. -// expected-no-diagnostics -// RUN: %clang_cc1 -std=c++14 -x c++ -verify %s -// template<typename T> concept C1 = true; +// RUN: %clang_cc1 -std=c++20 -x c++ -verify %s +template<typename T> concept C1 = true; + +template<class T> +concept C = true; + +template<class T> +class C<int> {}; //expected-error{{identifier followed by '<' indicates a class template specialization but 'C' refers to a concept}} Index: clang/include/clang/Basic/DiagnosticParseKinds.td =================================================================== --- clang/include/clang/Basic/DiagnosticParseKinds.td +++ clang/include/clang/Basic/DiagnosticParseKinds.td @@ -775,7 +775,8 @@ def err_template_spec_syntax_non_template : Error< "identifier followed by '<' indicates a class template specialization but " "%0 %select{does not refer to a template|refers to a function template|" - "<unused>|refers to a variable template|<unused>|refers to a concept}1">; + "<unused>|refers to a variable template|<unused>|<unused>|" + "refers to a concept}1">; def err_id_after_template_in_nested_name_spec : Error< "expected template name after 'template' keyword in nested name specifier">; def err_unexpected_template_in_unqualified_id : Error<
_______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits