blob: f2cc65cf7d75d9b33a7f6a5689d778151a0ce2a7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
class Top[A] {
type AType = A
}
trait Node { outer =>
type T <: Node
def prepend = new Node { type T = outer.type }
}
class Main[NextType <: Node](value: Node { type T = NextType })
extends Top[Node { type T = NextType }] {
new Main[AType]( (value: AType).prepend )
}
|