blob: 237257b69dbf51d92d388a4111978d396245990d (
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
}
|