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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
|
import language._
trait A1 {
def f[T[_]] = ()
}
trait B1 extends A1 {
override def f[T[+_]] = ()
}
trait C1 extends A1 {
override def f[T[-_]] = ()
}
trait A2 {
def f[T[+_]] = ()
}
trait B2 extends A2 {
override def f[T[_]] = () // okay
}
trait C2 extends A2 {
override def f[T[-_]] = ()
}
trait A3 {
def f[T[-_]] = ()
}
trait B3 extends A3 {
override def f[T[_]] = () // okay
}
trait C3 extends A3 {
override def f[T[-_]] = ()
}
trait A4 {
def f[T[X[+_]]] = ()
}
trait B4 extends A4 {
override def f[T[X[_]]] = ()
}
trait A5 {
def f[T[X[-_]]] = ()
}
trait B5 extends A5 {
override def f[T[X[_]]] = ()
}
trait A6 {
def f[T[X[_]]] = ()
}
trait B6 extends A6 {
override def f[T[X[+_]]] = () // okay
}
trait C6 extends A6 {
override def f[T[X[_]]] = () // okay
}
trait D6 extends A6 {
override def f[T[X[-_]]] = ()
}
|
