[Moved to DR at the September, 2013 meeting.]

Proposed resolution (June, 2013):

Change 13.10.3.6 [temp.deduct.type] paragraph 5 as follows

The non-deduced contexts are:

• ...

• A function parameter pack that does not occur at the end of the parameter-declaration-clause parameter-declaration-list.

According to 13.10.3.6 [temp.deduct.type] paragraph 5, one of the non-deduced contexts is

A function parameter pack that does not occur at the end of the parameter-declaration-clause.

This would make the following example ill-formed:

  template <typename R, typename ...P>
  void foo(R (&)(P ..., ...)) { }

  void bar(int, ...) { }

  void zip() {
   foo(bar);
  }

It is not clear whether this is intentional; if the wording referred to parameter-declaration-list instead of parameter-declaration-clause, the example would be accepted.