title: Is it possible to override a type field?
body: <pre><code>scala&gt; class C
  defined class C
  
  scala&gt; class subC extends C
  defined class subC
  
  scala&gt; class A { type T = C}
  defined class A
  
  scala&gt; class subA extends A { override type T = subC}
  &lt;console&gt;:10: error: overriding type T in class A, which equals C;
   type T has incompatible type
        class subA extends A { override type T = subC}
                                             ^
  </code></pre>
  
  <p>In the example above, I get an error message, that I can not override the type field in class <code>A</code> ( even if the chosen type <code>subC</code> extends the class <code>C</code>).</p>
  
  <p>Is overriding a type field possible at all ? And if yes, what is wrong with the example above ?</p>