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
|
trait coll[m[+x]]
trait coll2[m[-x]]
trait coll3[m[x]]
trait coll4[m[x <: y], y]
class FooInvar[x]
class FooContra[-x]
class FooCov[+x]
class FooString[+x <: String]
object fcollok extends coll[FooCov]
object fcollinv extends coll[FooInvar] // error
object fcollcon extends coll[FooContra] // error
object fcollwb extends coll[FooString] // error
object fcoll2ok extends coll2[FooCov] // error
object fcoll2inv extends coll2[FooInvar] // error
object fcoll2con extends coll2[FooContra]
object fcoll2wb extends coll2[FooString] // error
object fcoll3ok extends coll3[FooCov]
object fcoll3inv extends coll3[FooInvar]
object fcoll3con extends coll3[FooContra]
object fcoll3wb extends coll3[FooString] // error
object fcoll4ok extends coll4[FooString, String]
object fcoll4_1 extends coll4[FooString, Int] // error
object fcoll4_2 extends coll4[FooString, Any] // error
object test {
var ok: coll[FooCov] = _
def x: coll[FooInvar] = sys.error("foo") // error
def y: coll[FooContra] = sys.error("foo") // error
}
// TODO: need test for rank N with N >: 2
|
