blob: dbb874459758f44de9bbb244a6444a015457302d (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
class B
class C(x: String) extends B
class A {
type A >: Null
class D { type T >: C <: B }
val x: A with D = null
var y: x.T = new C("abc")
}
object Test extends A with App {
class C { type T = Int; val x = 1 }
type A = C
y = 42
}
|