// 2 FILES
// ScalaParser2.scala
package lampion.scalax;
trait ScalaParser2 { 
  trait NodeImpl { 
    trait Link extends ScalaParser2.this.Link {
      def from = NodeImpl.this;
    }
  }
  trait Link {
    def from : NodeImpl;
  }
  trait NonExpressionLink extends Link {
    def from   : IsLinked;
  }
  trait IsLinked extends NodeImpl {
    trait Link extends ScalaParser2.this.NonExpressionLink with super.Link {
      override def from = IsLinked.this;
    }
  }
  trait HasClassBody extends IsLinked {
    object classBody extends Link {
      type To = NodeImpl; 
    }
  }
  trait ClassLikeImpl extends HasClassBody;
}
// ScalaTyper2.scala
package lampion.scalax;
trait ScalaTyper2 extends ScalaParser2 {
  trait ClassLikeImpl extends super.ClassLikeImpl { 
    def foo(x : Any) = x == classBody;
  }
}