blob: d893f66307fd73e2778613f63cb35714204462e7 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
// Invalid because nested hk type parameters are no longer allowed
import language.higherKinds
trait P [N1, +E1[X <: N1]]
trait PIn[N2, +E2[X <: N2]] extends P[Int,Any]
trait EI extends PIn[Int, Nothing]
trait NI extends PIn[Int, Nothing]
object Test {
val lub = if (true) ??? : EI else ??? : NI
val pin: PIn[Int,Nothing] = lub
}
|