mzgreen
open class A class B : A() class C<T> val cA: C<A> = C<B>() // this will yield type mismatch val cB: C<B> = C<A>() // this also will yield type mismatch