@@ -483,7 +483,7 @@
 \nontermdef{member-declarator}\br
     declarator \opt{virt-specifier-seq} \opt{pure-specifier}\br
     declarator requires-clause\br
-    declarator \opt{brace-or-equal-initializer}\br
+    declarator brace-or-equal-initializer\br
     \opt{identifier} \opt{attribute-specifier-seq} \terminal{:} constant-expression \opt{brace-or-equal-initializer}
 \end{bnf}
 
@@ -504,6 +504,18 @@
     \terminal{=} \terminal{0}
 \end{bnf}
 
+\pnum
+In the absence of a \grammarterm{virt-specifier-seq},
+the token sequence \tcode{= 0} is treated as a \grammarterm{pure-specifier}
+if the type of the \grammarterm{declarator-id}\iref{dcl.meaning.general}
+is a function type, and
+is otherwise treated as a \grammarterm{brace-or-equal-initializer}.
+\begin{note}
+If the member declaration acquires a function type through
+template instantiation,
+the program is ill-formed; see~\ref{temp.spec.general}.
+\end{note}
+
 \pnum
 \indextext{definition!class}%
 The \grammarterm{member-specification} in a class definition declares the