blob: 3f7e42fe1713c8e56704090d66e25694c9262356 (
plain) (
tree)
|
|
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
}
|