Skip to content

Commit 8845a37

Browse files
eisenwavetkoeppe
authored andcommitted
[expr.call] add further forward references
1 parent 9a0b5d7 commit 8845a37

File tree

1 file changed

+7
-7
lines changed

1 file changed

+7
-7
lines changed

source/expressions.tex

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3408,13 +3408,13 @@
34083408
to type \tcode{\keyword{void}*}\iref{conv.ptr}.
34093409
After these conversions, if the
34103410
argument does not have arithmetic, enumeration, pointer, pointer-to-member,
3411-
or class type, the program is ill-formed. Passing a potentially-evaluated
3412-
argument
3413-
of a scoped enumeration type or
3414-
of a class type\iref{class} having an eligible non-trivial
3415-
copy constructor, an eligible non-trivial move constructor,
3416-
or a
3417-
non-trivial destructor\iref{special},
3411+
or class type, the program is ill-formed.
3412+
Passing a potentially-evaluated argument
3413+
of a scoped enumeration type\iref{dcl.enum} or
3414+
of a class type\iref{class} having
3415+
an eligible non-trivial copy constructor\iref{special,class.copy.ctor},
3416+
an eligible non-trivial move constructor, or
3417+
a non-trivial destructor\iref{class.dtor},
34183418
with no corresponding parameter, is conditionally-supported with
34193419
\impldef{passing argument of class type through ellipsis} semantics. If the argument has
34203420
integral or enumeration type that is subject to the integral

0 commit comments

Comments
 (0)