Skip to content

Commit 1eafa3e

Browse files
Daniel Parvinjskeet
authored andcommitted
Updated expressions section 12.6.4.2 based on PR comments
1 parent 1359e5c commit 1eafa3e

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

standard/expressions.md

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1019,12 +1019,12 @@ For a function member that includes a parameter array, if the function member is
10191019
10201020
- The expanded form is constructed by replacing the parameter array in the function member declaration with zero or more value parameters of the element type of the parameter array such that the number of arguments in the argument list `A` matches the total number of parameters. If `A` has fewer arguments than the number of fixed parameters in the function member declaration, the expanded form of the function member cannot be constructed and is thus not applicable.
10211021
- Otherwise, the expanded form is applicable if for each argument in `A`, one of the following is true:
1022-
- the parameter-passing mode of the argument is identical to the parameter-passing mode of the corresponding parameter, and
1023-
- for a fixed value parameter or a value parameter created by the expansion, an implicit conversion ([§10.2](conversions.md#102-implicit-conversions)) exists from the argument expression to the type of the corresponding parameter, or
1022+
- the parameter-passing mode of the argument is identical to the parameter-passing mode of the corresponding parameter, and:
1023+
- for a fixed value parameter or a value parameter created by the expansion, an implicit conversion ([§10.2](conversions.md#102-implicit-conversions)) exists from the argument expression to the type of the corresponding parameter; or
10241024
- for a by-reference parameter, the type of the argument expression is identical to the type of the corresponding parameter.
10251025
- the parameter-passing mode of the argument is value, and the parameter-passing mode of the corresponding parameter is input, and an implicit conversion ([§10.2](conversions.md#102-implicit-conversions)) exists from the argument expression to the type of the corresponding parameter.
10261026
1027-
When the implicit conversion from the argument type to the parameter type of an input parameter is a dynamic implicit conversion ([§10.2.10](conversions.md#10210-implicit-dynamic-conversions)), the results are undefined.
1027+
When the implicit conversion from the argument type to the parameter type of an `in` parameter is a dynamic implicit conversion ([§10.2.10](conversions.md#10210-implicit-dynamic-conversions)), the results are undefined.
10281028
10291029
> *Example*: Given the following declarations and method calls:
10301030
>

0 commit comments

Comments
 (0)