CWG2831 Non-templated function definitions and requires-clauses

Author: burblebee

source/declarations.tex

@@ -6305,8 +6305,10 @@
 a \grammarterm{mem-initializer-id}\iref{class.base.init}.
 The optional \grammarterm{attribute-specifier-seq} in a \grammarterm{function-definition}
 appertains to the function.
-A \grammarterm{virt-specifier-seq} can be part of a \grammarterm{function-definition}
-only if it is a \grammarterm{member-declaration}\iref{class.mem}.
+A \grammarterm{function-definition} with a \grammarterm{virt-specifier-seq}
+shall be a \grammarterm{member-declaration}\iref{class.mem}.
+A \grammarterm{function-definition} with a \grammarterm{requires-clause}
+shall define a templated function.
 
 \pnum
 In a \grammarterm{function-definition},