Scala example source code file (bug692.scala)

This example Scala source code file (bug692.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

anyref, anyref, bar, bartype, classtype, classtype, foo, foo, footype, reftype, reftype, type, type0, z

The Scala bug692.scala source code

abstract class test3 {
  trait Type0[+T0];
  trait Type[T0] extends Type0[T];
  trait ClassType0[+C <: AnyRef] extends Type0[C];
  abstract class RefType[C <: AnyRef] extends Type[C];
  case class ObjectType() extends RefType[AnyRef];
  abstract class ClassType[C <: Z, Z <: AnyRef](zuper : RefType[Z]) extends RefType[C];
  

  case class FooType() extends ClassType[Foo,AnyRef](ObjectType());
  implicit def typeOfFoo = FooType();

  case class BarType[T3 <: Foo](tpeT : RefType[T3]) extends ClassType[Bar[T3],Foo](FooType);
  implicit def typeOfBar[T4 <: Foo](implicit elem : RefType[T4]) : RefType[Bar[T4]] = 
    BarType(elem);
  

  class Foo[A <: AnyRef];
  class Bar[A <: Foo](implicit tpeA : Type[A]) extends Foo;
}