[Voted into the WP at the March, 2011 meeting as part of paper N3262.]

In an example like

  void f(int, int, int);
  template<int ...N> void g() {
    f((N+N)...);
  }
  void h() {
    g<1, 2, 3>();
  }

the call to f needs to be dependent; however, the arguments are not type-dependent, so the criteria of 13.8.3 [temp.dep] paragraph 1 are not met. Presumably the specification needs to be updated so that an argument list containing a type-level pack expansion is dependent.