bug744.scala

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

trait Linked {
  type File <: FileImpl;
  trait FileImpl {
    Console.println("Hello from linked");
  }
}
object Test {
  class Test extends Linked { 
    trait FileImpl extends super.FileImpl {
//      val x: int = 1
    }
    class File extends FileImpl;
  }
  def main(args : Array[String]) : Unit = {
    Console.println("BEGIN");
    val test = new Test;
    val file = new test.File;
    Console.println("END");
  }
}