blob: 5efc76af2482dbc3f1547421e4516b2ae36a7a64 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
object Test {
new C
new C1
new C2
class A[E[_]] { }
class B[E[_]] extends A[B] { } // B is depth 2 but A requires 1
class C extends B { }
class A1[E[F[G[_]]]] { }
class B1[E[_]] extends A1[B1] // B1 is depth 2 but A1 requires 3
class C1 extends B1 { }
class A2[E[_]] { }
class B2[E] extends A2[B2] { } // this one is correct
class C2 extends B2 { }
}
|