[PATCH] D125711: [concepts] Implement dcl.decl.general p4: No constraints on non-template funcs

[Erich Keane via Phabricator via cfe-commits]

erichkeane created this revision.
erichkeane added a reviewer: clang-language-wg.
Herald added a project: All.
erichkeane requested review of this revision.

The standard says:

  The optional requires-clause ([temp.pre]) in an init-declarator or
  member-declarator shall be present only if the declarator declares a
  templated function ([dcl.fct]).

This implements that limitation, and updates the tests to the best of my
ability to capture the intent of the original checks.


https://reviews.llvm.org/D125711

Files:
  clang/include/clang/Basic/DiagnosticSemaKinds.td
  clang/lib/Sema/SemaDecl.cpp
  clang/test/CXX/dcl.decl/dcl.decl.general/p4-20.cpp
  clang/test/CXX/dcl/dcl.decl/p3.cpp
  clang/test/CXX/expr/expr.prim/expr.prim.id/p4.cpp
  clang/test/CXX/over/over.match/over.match.best/p1-2a.cpp
  clang/test/CXX/over/over.match/over.match.viable/p3.cpp
  clang/test/CXX/over/over.over/p4-2a.cpp
  clang/test/Parser/cxx-concepts-requires-clause.cpp
  clang/test/Parser/cxx2a-concepts-requires-expr.cpp
  clang/test/SemaCXX/cxx20-check-fptr-constraints.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D125711.429775.patch
Type: text/x-patch
Size: 17304 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20220516/3c877481/attachment-0001.bin>