matthias2.scala:7: cyclic aliasing or subtyping involving value y
    override val y: T;
                 ^
one error found