tmp/tmpv6o7jx5s/{from.md → to.md}
RENAMED
|
@@ -68,10 +68,16 @@ instantiation within a translation unit. A specialization for any
|
|
| 68 |
template may have points of instantiation in multiple translation units.
|
| 69 |
If two different points of instantiation give a template specialization
|
| 70 |
different meanings according to the one-definition rule
|
| 71 |
[[basic.def.odr]], the program is ill-formed, no diagnostic required.
|
| 72 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 73 |
#### Candidate functions <a id="temp.dep.candidate">[[temp.dep.candidate]]</a>
|
| 74 |
|
| 75 |
If a dependent call [[temp.dep]] would be ill-formed or would find a
|
| 76 |
better match had the lookup for its dependent name considered all the
|
| 77 |
function declarations with external linkage introduced in the associated
|
|
|
|
| 68 |
template may have points of instantiation in multiple translation units.
|
| 69 |
If two different points of instantiation give a template specialization
|
| 70 |
different meanings according to the one-definition rule
|
| 71 |
[[basic.def.odr]], the program is ill-formed, no diagnostic required.
|
| 72 |
|
| 73 |
+
For the *compound-statement* of an *expansion-statement*
|
| 74 |
+
[[stmt.expand]], the point of instantiation is the point of
|
| 75 |
+
instantiation of its enclosing templated entity, if any. Otherwise, it
|
| 76 |
+
immediately follows the namespace-scope declaration or definition that
|
| 77 |
+
contains the expansion statement.
|
| 78 |
+
|
| 79 |
#### Candidate functions <a id="temp.dep.candidate">[[temp.dep.candidate]]</a>
|
| 80 |
|
| 81 |
If a dependent call [[temp.dep]] would be ill-formed or would find a
|
| 82 |
better match had the lookup for its dependent name considered all the
|
| 83 |
function declarations with external linkage introduced in the associated
|