9ef5f6817 ^
1 2 3 4 5 6 7 8 9 10 11
object Test { trait Foo { type T } object FooX extends Foo { type T = X; trait X } def test(x : Foo { type T = FooX.X }) = {} def main(argv : Array[String]) : Unit = { test(FooX) } }