tmp/tmp9pywwkb5/{from.md → to.md}
RENAMED
|
@@ -55,14 +55,14 @@ void h() {
|
|
| 55 |
}
|
| 56 |
```
|
| 57 |
|
| 58 |
— *end example*]
|
| 59 |
|
| 60 |
-
|
| 61 |
-
|
| 62 |
-
|
| 63 |
-
|
| 64 |
|
| 65 |
[*Example 2*:
|
| 66 |
|
| 67 |
``` cpp
|
| 68 |
template <unsigned N> void f2()
|
|
|
|
| 55 |
}
|
| 56 |
```
|
| 57 |
|
| 58 |
— *end example*]
|
| 59 |
|
| 60 |
+
As specified in [[temp.over.link]], if the validity or meaning of the
|
| 61 |
+
program depends on whether two constructs are equivalent, and they are
|
| 62 |
+
functionally equivalent but not equivalent, the program is ill-formed,
|
| 63 |
+
no diagnostic required.
|
| 64 |
|
| 65 |
[*Example 2*:
|
| 66 |
|
| 67 |
``` cpp
|
| 68 |
template <unsigned N> void f2()
|