blob: daeeb21d910f44c34076fae421c7fb78e586da3c (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
class Top[A] {
type AType = A
}
trait Node extends NotNull { 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 )
}
|
