blob: 4fea5e3b14265e03fc2540da9cbdfd9a581c5a9e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
// i1050 checks failing at refchecks
object Tiark1 {
trait A { type L <: Nothing }
trait B { type L >: Any}
trait U {
val p: B
def brand(x: Any): p.L = x
}
trait V extends U {
lazy val p: A & B = ??? // error: may not override
}
val v = new V {}
v.brand("boom!")
}
object Tiark2 {
trait A { type L <: Nothing }
trait B { type L >: Any}
trait U {
type X <: B
val p: X
def brand(x: Any): p.L = x
}
trait V extends U {
type X = B & A
lazy val p: X = ??? // error: may not override
}
val v = new V {}
v.brand("boom!"): Nothing
}
|