File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change 8757
8757
can be used with that function template to instantiate a function template
8758
8758
specialization that can be invoked with the call arguments or,
8759
8759
for conversion function templates, that can convert to the required type.
8760
- For each function template, if the argument deduction and checking succeeds,
8761
- the
8760
+ For each function template:
8761
+ \begin {itemize }
8762
+ \item If the argument deduction and checking succeeds, the
8762
8763
\grammarterm {template-argument}{s}
8763
8764
(deduced and/or explicit)
8764
8765
are used to synthesize the declaration of
8765
8766
a single function template specialization which is
8766
8767
added to the candidate functions set to be used in overload resolution.
8767
- If, for a given function template, argument deduction fails or
8768
+ \item If the argument deduction fails or
8768
8769
the synthesized function template specialization would be ill-formed,
8769
8770
no such function is added to the set of candidate functions for that template.
8771
+ \end {itemize }
8770
8772
The complete set of candidate functions includes all the synthesized
8771
8773
declarations and all of the non-template functions found by name lookup.
8772
8774
The synthesized declarations are
You can’t perform that action at this time.
0 commit comments