Skip to content

Commit 5cca3b5

Browse files
jensmaurerzygoloid
authored andcommitted
[dcl.fct] Move function definition rule to [dcl.fct.def.general]
This is the rule that requires complete non-abstract types function parameter or return types.
1 parent b39b44b commit 5cca3b5

File tree

1 file changed

+5
-6
lines changed

1 file changed

+5
-6
lines changed

source/declarators.tex

Lines changed: 5 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1478,12 +1478,6 @@
14781478

14791479
\pnum
14801480
Types shall not be defined in return or parameter types.
1481-
The type of a parameter or the return type for a function
1482-
definition shall not be an incomplete or abstract
1483-
(possibly cv-qualified) class type
1484-
in the context of the function definition
1485-
unless the function is
1486-
deleted\iref{dcl.fct.def.delete}.
14871481

14881482
\pnum
14891483
\indextext{typedef!function}%
@@ -1989,6 +1983,11 @@
19891983
shall be a well-formed function declaration
19901984
as described in~\ref{dcl.fct}.
19911985
A function shall be defined only in namespace or class scope.
1986+
The type of a parameter or the return type for a function
1987+
definition shall not be
1988+
an incomplete or abstract (possibly cv-qualified) class type
1989+
in the context of the function definition
1990+
unless the function is deleted\iref{dcl.fct.def.delete}.
19921991

19931992
\pnum
19941993
\begin{example}

0 commit comments

Comments
 (0)