|
7074 | 7074 |
|
7075 | 7075 | Using this process, it is determined whether an implicit conversion
|
7076 | 7076 | sequence can be formed from the second operand
|
7077 |
| -to the target type determined for the third operand, and vice versa. |
7078 |
| -If both sequences can be formed, or one can be formed but it is the |
| 7077 | +to the target type determined for the third operand, and vice versa, |
| 7078 | +with the following outcome: |
| 7079 | +\begin{itemize} |
| 7080 | +\item If both sequences can be formed, or one can be formed but it is the |
7079 | 7081 | ambiguous conversion sequence, the program is ill-formed.
|
7080 |
| -If no conversion sequence can be formed, the operands are left unchanged |
| 7082 | +\item If no conversion sequence can be formed, the operands are left unchanged |
7081 | 7083 | and further checking is performed as described below.
|
7082 |
| -Otherwise, if exactly one conversion sequence can be formed, |
| 7084 | +\item Otherwise, if exactly one conversion sequence can be formed, |
7083 | 7085 | that conversion is applied to the chosen operand
|
7084 | 7086 | and the converted operand is used in place of the original operand for
|
7085 | 7087 | the remainder of this subclause.
|
7086 | 7088 | \begin{note}
|
7087 | 7089 | The conversion might be ill-formed even if an implicit conversion
|
7088 | 7090 | sequence could be formed.
|
7089 | 7091 | \end{note}
|
| 7092 | +\end{itemize} |
7090 | 7093 |
|
7091 | 7094 | \pnum
|
7092 | 7095 | If the second and third operands are glvalues of the same value category
|
|
0 commit comments