package test;

object Covariant {
  class Foo[+A] {
    private[this] var a : A = _
    def getA : A = a
    private[this] def setA(a : A) = this.a = a 

    trait Convert[B] {
      def b2a(b : B) : A
      def doit(b : B) = setA(b2a(b))
    }
  }
  abstract class AbstractTest {
    val a : Foo[AnyRef]
    val c = new a.Convert[Int] {
      def b2a(b : Int) : AnyRef = "hello"
    }
    val b : Int = 42
  }
  class Test extends AbstractTest {
    val a : Foo[Character] = new Foo[Character]
  }
  def main(args : Array[String]) : Unit = {
    val test = new Test
    test.c.doit(test.b)
    val x : Character = test.a.getA
    Console.println("XXX " + x)
  }
}