Scala example source code file (bug691.scala)

This example Scala source code file (bug691.scala) is included in the DevDaily.com "Java Source Code Warehouse" project. The intent of this project is to help you "Learn Java by Example" ^TM.

Java - Scala tags/keywords

arrow, arrow, assignarrow, assignarrow, base, base, ext0, ext1, t, t, ti0, ti1, ti2, tic

The Scala bug691.scala source code

trait Base {
  trait AssignArrow {
    type T <: Ti0;
    trait Ti0;
  }
  abstract class Arrow extends AssignArrow;
  val arrow : Arrow;
}

trait Ext0 extends Base {
  trait AssignArrow extends super.AssignArrow {
    type T <: Ti1;
    trait Ti1 extends super.Ti0;
  }
}
trait Ext1 extends Base {
  trait Arrow extends super.Arrow {
    type T <: Ti2;
    trait Ti2 extends super.Ti0;
    trait TiXX extends Ti2;
  }
  val arrow : Arrow;
}
trait Composition extends Ext0 with Ext1 {
  object arrow0 extends Arrow with AssignArrow {
    type T = TiC
    trait TiC extends super[Arrow].Ti2 with super[AssignArrow].Ti1;
  }
}