blob: bb66d3202190758419ae253ceaf606fedf543dea (
plain) (
tree)
|
|
// exercise coevolveSym: ThisType
trait HasA { type A }
class AA[T] {
type HasAT[T] = HasA{ type A = T }
val x: HasAT[T] = ???
def foo: x.A = ???
}
class B extends AA[Int] {
override def foo: B.this.x.A = super.foo
}
|