path: root/test/neg/matthias2.check

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