blob: bb66d3202190758419ae253ceaf606fedf543dea (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
|
// 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
}
|