|
354 | 354 | can be used to constrain a
|
355 | 355 | contextually-determined type or template type parameter pack \tcode{T}
|
356 | 356 | with a \grammarterm{constraint-expression} \tcode{E} defined as follows.
|
357 |
| -If \tcode{Q} is of the form \tcode{C<A$_1$, $\cdots$, A$_n$>}, |
358 |
| -then let \tcode{E$'$} be \tcode{C<T, A$_1$, $\cdots$, A$_n$>}. |
| 357 | +If \tcode{Q} is of the form \tcode{C<A$_1$, $\dotsc$, A$_n$>}, |
| 358 | +then let \tcode{E$'$} be \tcode{C<T, A$_1$, $\dotsc$, A$_n$>}. |
359 | 359 | Otherwise, let \tcode{E$'$} be \tcode{C<T>}.
|
360 | 360 | If \tcode{T} is not a pack,
|
361 | 361 | then \tcode{E} is \tcode{E$'$},
|
|
1930 | 1930 | the normal forms of \tcode{E1} and \tcode{E2}.
|
1931 | 1931 |
|
1932 | 1932 | \item
|
1933 |
| -The normal form of a concept-id \tcode{C<A$_1$, A$_2$, ..., A$_n$>} |
| 1933 | +The normal form of a concept-id \tcode{C<A$_1$, A$_2$, $\dotsc$, A$_n$>} |
1934 | 1934 | is the normal form of the \grammarterm{constraint-expression} of \tcode{C},
|
1935 |
| -after substituting \tcode{A$_1$, A$_2$, ..., A$_n$} for |
| 1935 | +after substituting \tcode{A$_1$, A$_2$, $\dotsc$, A$_n$} for |
1936 | 1936 | \tcode{C}{'s} respective template parameters in the
|
1937 | 1937 | parameter mappings in each atomic constraint.
|
1938 | 1938 | If any such substitution results in an invalid type or expression,
|
|
0 commit comments