This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 112e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.
[Voted into the WP at the November, 2010 meeting.]N3092 comment US 70
22.214.171.124 [temp.deduct.partial] paragraph 3 specifies that the deduction used in partial ordering in a non-call context is based on the complete function type of the function templates. The wording in 126.96.36.199 [temp.func.order] paragraph 2 (and echoed in paragraph 4) reflects an earlier specification, however, saying that the deduction uses only “the function parameter types, or in the case of a conversion function the return type.” This is a contradiction. The wording in 188.8.131.52 [temp.func.order] should be changed.
Proposed resolution (September, 2010):
Change 184.108.40.206 [temp.func.order] paragraph 2 as follows:
Partial ordering selects which of two function templates is more specialized than the other by transforming each template in turn (see next paragraph) and performing template argument deduction using the function
parameter types, or in the case of a conversion function the returntype. The deduction process determines whether one of the templates is more specialized than the other. If so, the more specialized template is the one chosen by the partial ordering process.
Change 220.127.116.11 [temp.func.order] paragraph 4 as follows:
Using the transformed function template's function
parameter list, or in the case of a conversion function its transformed returntype, perform type deduction against the function parameter list (or return type)of the other function . The mechanism for performing these deductions is given in 18.104.22.168 [temp.deduct.partial].