3049afc7ec ^
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; }