test/pending/pos/virt.scala


1
2
3
4
5
6
7
8
9

object Virt extends Application {
  class Foo { 
    trait Inner <: { val x : Int = 3 }
  }

  class Bar extends Foo { 
    trait Inner <: { val y : Int = x }
  }
}