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