CWG2876 Disambiguation of T x = delete("text")

Also fixes CWG2144.

Author: burblebee

source/declarations.tex

@@ -256,16 +256,29 @@
 \end{codeblock}
 \end{example}
 
+\pnum
+\indextext{initialization!definition and}%
+An object definition causes
+storage of appropriate size and alignment to be reserved and
+any appropriate initialization\iref{dcl.init} to be done.
+
 \pnum
 \indextext{definition!declaration as}%
 Syntactic components beyond those found in the general form of
 \grammarterm{simple-declaration} are added to a function declaration to make a
-\grammarterm{function-definition}. An object declaration, however, is also
-a definition unless it contains the \keyword{extern} specifier and has no
-initializer\iref{basic.def}.
-\indextext{initialization!definition and}%
-An object definition causes storage of appropriate size and alignment to be reserved and
-any appropriate initialization\iref{dcl.init} to be done.
+\grammarterm{function-definition}.
+A token sequence starting with \tcode{\{} or \tcode{=}
+is treated as a \grammarterm{function-body}\iref{dcl.fct.def.general}
+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}\iref{dcl.init.general}.
+\begin{note}
+If the declaration acquires a function type through template instantiation,
+the program is ill-formed; see \ref{temp.spec.general}.
+The function type of a function definition
+cannot be specified with a \grammarterm{typedef-name}\iref{dcl.fct}.
+\end{note}
 
 \pnum
 A \grammarterm{nodeclspec-function-declaration} shall declare a