title: template argument involving template parameters
body: <p>Is there a way to workaround the limitations of the standard when it comes to use template parameters in template arguments in partial specialization? The code that I'd like to make it work is this:</p>
  
  <pre><code>template&lt;typename L, size_t offset, typename enable_if&lt; (offset&lt;sizeof(L)), int &gt;::type =0&gt;
  class a{};
  
  template&lt;typename L&gt;
  class a&lt;L, sizeof(L)-1&gt;{};
  </code></pre>