f75ee36c6f ^
1 2 3 4 5 6 7
// we get now: t2336.scala:5: error: type Foo[Int] is not a stable prefix class Foo[A] { class Bar[B >: A](x: B) extends Foo[B] } object bug { new Foo[Int]#Bar(0) }