blob: 15dedfbb9718e16e12b7690683dd9a86318daf1d (
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 Application {
class C { type T = Int; val x = 1 }
type A = C
y = 42
}
|