tmp/tmpgz28dmm_/{from.md → to.md}
RENAMED
|
@@ -21,10 +21,11 @@ properties proceed in the following order:
|
|
| 21 |
- If the *return-type-requirement* is present, then:
|
| 22 |
- Substitution of template arguments (if any) into the
|
| 23 |
*return-type-requirement* is performed.
|
| 24 |
- The immediately-declared constraint [[temp.param]] of the
|
| 25 |
*type-constraint* for `decltype((E))` shall be satisfied.
|
|
|
|
| 26 |
\[*Example 1*:
|
| 27 |
Given concepts `C` and `D`,
|
| 28 |
``` cpp
|
| 29 |
requires {
|
| 30 |
{ E1 } -> C;
|
|
|
|
| 21 |
- If the *return-type-requirement* is present, then:
|
| 22 |
- Substitution of template arguments (if any) into the
|
| 23 |
*return-type-requirement* is performed.
|
| 24 |
- The immediately-declared constraint [[temp.param]] of the
|
| 25 |
*type-constraint* for `decltype((E))` shall be satisfied.
|
| 26 |
+
|
| 27 |
\[*Example 1*:
|
| 28 |
Given concepts `C` and `D`,
|
| 29 |
``` cpp
|
| 30 |
requires {
|
| 31 |
{ E1 } -> C;
|