Scala example source code file (bug412.scala)

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

a, b, c, c, c1, c2, cx, cx, t, t1, t1, t2, t2, test

The Scala bug412.scala source code

object Magic {

  abstract class A[T1,T2]() {
    trait C            { type T; }
    trait C1 extends C { type T = T1; }
    trait C2 extends C { type T <: T2; }

    type CX >: Null;
    val c: CX with C2 = null;

    def castA(x: c.T): T2 = x;
  }

  class B[T1,T2] extends A[T1,T2]() {
    type CX = C1;

    def castB(x: T1): T2 = castA(x);
  }

  def cast[T1,T2](v: T1): T2 =
    new B[T1,T2]().castB(v)

}

object Test {

  def main(args: Array[String]): Unit = {
    Magic.cast[String,Exception]("xyz").printStackTrace();
  }

}