package test;

trait Linked {
  type File <: FileImpl;
  trait FileImpl {
    Console.println("Hello from linked");
  }
}
object test {
  class Test extends Linked { 
    trait FileImpl extends super.FileImpl; 
    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");
  }
}