tests/pos/t8177a.scala


1
2
3
4
5
6
7
8
9

// exercise coevolveSym
trait Thing { type A; var p: A = _ }
class AA[T](final val x: Thing { type A = T }) {
  def foo: x.A = ???
}

class B extends AA[Int](null) {
  override def foo: B.this.x.A = super.foo
}