7ebc41cda2 ^
4f6a14b33d ^
1
2
3 4 5 6 7
8
9
abstract class A { type T <: String; def x: T; } abstract class B { def a: A; val y: String = a.x; }