// Two files
// presentation/AutoEdit.scala
package presentation;

trait AutoEdit {
  type Node <: NodeImpl;
  trait NodeImpl {
    protected def indentAsAnchor : String;
    def autoEdit = {}
  }
  trait NewLineImpl extends NodeImpl {
    override def autoEdit = {
      super.autoEdit;
      Console.println("Hello ");
    }
  }
}
// scalax/ScalaTestXX.scala
package scalax;
import presentation._;

trait ScalaAutoEditXX extends AutoEdit {
  type Node <: NodeImpl;
  trait NodeImpl extends super[AutoEdit].NodeImpl  {
    def self : Node;
    override def indentAsAnchor = {
      null
    }
  }
  type NewLine <: Node with NewLineImpl;
  trait NewLineImpl extends super[AutoEdit].NewLineImpl with NodeImpl {
    def self : NewLine;
  }
}

trait ScalaParserAutoEditXXX extends ScalaAutoEditXX {
  type Node <: NodeImpl;
  trait NodeImpl extends super.NodeImpl {
    def self : Node;
    def isSemi = false; ;
  }
  type NewLine <: Node with NewLineImpl;
  trait NewLineImpl extends super.NewLineImpl with NodeImpl {
    override def isSemi = true; 
    def self : NewLine;
  }
}

trait ScalaTestXX extends ScalaParserAutoEditXXX {
  trait Node extends NodeImpl;
  class NewLine extends NewLineImpl with Node {
    def self = this;
  }
}
object test extends ScalaTestXX with Application {
  (new NewLine).autoEdit;
}