title: Mixing variadic template values and variadic deduced types
body: <p>Is the following perfectly defined by the standard ?</p>
  
  <pre><code>#include &lt;iostream&gt;
  
  template &lt;unsigned int... Values, class... Types&gt;
  void f(Types&amp;&amp;... values)
  {
      std::cout&lt;&lt;sizeof...(Values)&lt;&lt;" "&lt;&lt;sizeof...(Types)&lt;&lt;std::endl;
  }
  
  int main()
  {
      f&lt;7, 5&gt;(3);
      return 0;
  }
  </code></pre>
  
  <p>It compiles well under <code>g++ 4.8</code> but I wonder if it is normal.</p>