path: root/test/files/neg/bug591.scala

abstract class BaseList {
  type Node <: BaseNode;


  abstract class BaseNode {
    protected def self : Node;
    private[BaseList] def self00 = self;
    def dirty : Unit = {}
    def replaceWith(node : Node) = {}
  }

  implicit def baseNode2Node(bnode : BaseNode): Node = bnode.self00;


}


trait BaseFlow extends BaseList {
  type Node <: BFNode;
  type Flow <: FlowBase;
  type Output <: OutputBase;
  type  Input <:  InputBase;

  abstract class FlowBase {

  }
  trait OutputBase extends FlowBase {

  }
  trait  InputBase extends FlowBase {

  }

  trait BFNode extends BaseNode {
    private var  input : Input  = null;
    private var output : Output = null;

    def input_=(in : Input) = {}

  }
}