bug607.scala

来自「JAVA 语言的函数式编程扩展」· SCALA 代码 · 共 12 行

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)
        }
}