[over.match.viable] CWG 2442: footnote is incorrect

[cpplearner]

[over.match.viable]:

A candidate function having more than m parameters is viable only if the (m+1)^st parameter has a default argument ([dcl.fct.default]).¹²⁴

and footnote 124 says:

According to [dcl.fct.default], parameters following the (m+1)^st parameter must also have default arguments.

However, according to [dcl.fct.default], subsequent parameters do not need to have default arguments if they were expanded from a parameter pack.

template<class ... T> struct C {
  void f(int n = 0, T...);
};
C<int> c;                       // OK, instantiates declaration void C​::​f(int n = 0, int)

[cpplearner]

The relevant wording in [dcl.fct.default] was introduced by CWG 2233.

[jensmaurer]

Not just the footnote is incorrect, but also the normative sentence here. This seems to be a "should have CWG eyes" editorial issue.

[jensmaurer]

Registered at http://wiki.edg.com/bin/view/Wg21belfast/CoreWorkingGroup , uploaded to http://wiki.edg.com/pub/Wg21belfast/CoreWorkingGroup/ed-3235.html .

[jensmaurer]

CWG teleconference: This is a normative change and will be handled by a CWG issue.

[cpplearner]

Fixed by CWG 2442 (commit fd20a44).