tmp/tmpcetfx1kh/{from.md → to.md}
RENAMED
|
@@ -4,5 +4,10 @@ Template arguments can be deduced from the type specified when taking
|
|
| 4 |
the address of an overloaded function ([[over.over]]). The function
|
| 5 |
template’s function type and the specified type are used as the types of
|
| 6 |
`P` and `A`, and the deduction is done as described in
|
| 7 |
[[temp.deduct.type]].
|
| 8 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 4 |
the address of an overloaded function ([[over.over]]). The function
|
| 5 |
template’s function type and the specified type are used as the types of
|
| 6 |
`P` and `A`, and the deduction is done as described in
|
| 7 |
[[temp.deduct.type]].
|
| 8 |
|
| 9 |
+
A placeholder type ([[dcl.spec.auto]]) in the return type of a function
|
| 10 |
+
template is a non-deduced context. If template argument deduction
|
| 11 |
+
succeeds for such a function, the return type is determined from
|
| 12 |
+
instantiation of the function body.
|
| 13 |
+
|