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
|
/// GLOBAL
class AInv<T> {}
class BInv<T> extends AInv<T> {}
class ACov<+T> {}
class BCov<+T> extends ACov<T> {}
class AContrav<-T> {}
class BContrav<-T> extends AContrav<T> {}
/// PASS
BInv<int> b = new BInv();
AInv<int> a = b;
/// FAIL
BInv<long> b = new BInv();
AInv<int> /* /// FAIL HERE */ a = b;
/// FAIL
BInv<int> b = new BInv();
AInv<long> /* /// FAIL HERE */ a = b;
/// PASS
BCov<int> b = new BCov();
ACov<int> a = b;
/// PASS
BCov<int> b = new BCov();
ACov<long> a = b;
/// FAIL
BCov<long> b = new BCov();
ACov<int> /* /// FAIL HERE */ a = b;
/// PASS
BContrav<int> b = new BContrav();
AContrav<int> a = b;
/// FAIL
BContrav<int> b = new BContrav();
AContrav<long> /* /// FAIL HERE */ a = b;
/// PASS
BContrav<long> b = new BContrav();
AContrav<int> a = b;
|
