title: Template partial specialization
body: <p>Would any one knows according to what rules code below doesn't compile?  </p>
  
  <pre><code>template &lt;class T&gt;
  struct B
  {
      typedef T type;
  };
  
  template&lt;class T&gt;
  struct X
  {
  };
  template&lt;class T&gt;
  struct X&lt;B&lt;T&gt;::type*&gt;//HERE I'M PARTIALLY SPECIALIZING (WELL, TRYING TO...)
  {
  };
  </code></pre>
  
  <p>Please see comment inside the code.</p>