test/files/neg/matthias2.scala


1
2
3
4
5
6
7
8

class A() {
    val x: A = this;
    val y: x.type = x;
    type T = y.type;
}
abstract class B() extends A() {
    override val y: T;
}