summaryrefslogtreecommitdiff
path: root/test/files/run/existentials-in-compiler.check
blob: 8800df08232c12841408811b6c3b83852a2941ac (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
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
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
abstract trait Bippy[A <: AnyRef, B] extends AnyRef
    extest.Bippy[_ <: AnyRef, _]

abstract trait BippyBud[A <: AnyRef, B, C <: List[A]] extends AnyRef
    extest.BippyBud[?0,?1,?2] forSome { type ?0 <: AnyRef; type ?1; type ?2 <: List[?0] }

abstract trait BippyLike[A <: AnyRef, B <: List[A], This <: extest.BippyLike[A,B,This] with extest.Bippy[A,B]] extends AnyRef
    extest.BippyLike[?0,?1,?2] forSome { type ?0 <: AnyRef; type ?1 <: List[?0]; type ?2 <: extest.BippyLike[?0,?1,?2] with extest.Bippy[?0,?1] }

abstract trait Contra[-A >: AnyRef, -B] extends AnyRef
    extest.Contra[_ >: AnyRef, _]

abstract trait ContraLike[-A >: AnyRef, -B >: List[A]] extends AnyRef
    extest.ContraLike[?0,?1] forSome { type ?0 >: AnyRef; type ?1 >: List[?0] }

abstract trait Cov01[+A <: AnyRef, +B] extends AnyRef
    extest.Cov01[_ <: AnyRef, _]

abstract trait Cov02[+A <: AnyRef, B] extends AnyRef
    extest.Cov02[_ <: AnyRef, _]

abstract trait Cov03[+A <: AnyRef, -B] extends AnyRef
    extest.Cov03[_ <: AnyRef, _]

abstract trait Cov04[A <: AnyRef, +B] extends AnyRef
    extest.Cov04[_ <: AnyRef, _]

abstract trait Cov05[A <: AnyRef, B] extends AnyRef
    extest.Cov05[_ <: AnyRef, _]

abstract trait Cov06[A <: AnyRef, -B] extends AnyRef
    extest.Cov06[_ <: AnyRef, _]

abstract trait Cov07[-A <: AnyRef, +B] extends AnyRef
    extest.Cov07[_ <: AnyRef, _]

abstract trait Cov08[-A <: AnyRef, B] extends AnyRef
    extest.Cov08[_ <: AnyRef, _]

abstract trait Cov09[-A <: AnyRef, -B] extends AnyRef
    extest.Cov09[_ <: AnyRef, _]

abstract trait Cov11[+A <: AnyRef, +B <: List[_]] extends AnyRef
    extest.Cov11[_ <: AnyRef, _ <: List[_]]

abstract trait Cov12[+A <: AnyRef, B <: List[_]] extends AnyRef
    extest.Cov12[_ <: AnyRef, _ <: List[_]]

abstract trait Cov13[+A <: AnyRef, -B <: List[_]] extends AnyRef
    extest.Cov13[_ <: AnyRef, _ <: List[_]]

abstract trait Cov14[A <: AnyRef, +B <: List[_]] extends AnyRef
    extest.Cov14[_ <: AnyRef, _ <: List[_]]

abstract trait Cov15[A <: AnyRef, B <: List[_]] extends AnyRef
    extest.Cov15[_ <: AnyRef, _ <: List[_]]

abstract trait Cov16[A <: AnyRef, -B <: List[_]] extends AnyRef
    extest.Cov16[_ <: AnyRef, _ <: List[_]]

abstract trait Cov17[-A <: AnyRef, +B <: List[_]] extends AnyRef
    extest.Cov17[_ <: AnyRef, _ <: List[_]]

abstract trait Cov18[-A <: AnyRef, B <: List[_]] extends AnyRef
    extest.Cov18[_ <: AnyRef, _ <: List[_]]

abstract trait Cov19[-A <: AnyRef, -B <: List[_]] extends AnyRef
    extest.Cov19[_ <: AnyRef, _ <: List[_]]

abstract trait Cov21[+A, +B] extends AnyRef
    extest.Cov21[_, _]

abstract trait Cov22[+A, B] extends AnyRef
    extest.Cov22[_, _]

abstract trait Cov23[+A, -B] extends AnyRef
    extest.Cov23[_, _]

abstract trait Cov24[A, +B] extends AnyRef
    extest.Cov24[_, _]

abstract trait Cov25[A, B] extends AnyRef
    extest.Cov25[_, _]

abstract trait Cov26[A, -B] extends AnyRef
    extest.Cov26[_, _]

abstract trait Cov27[-A, +B] extends AnyRef
    extest.Cov27[_, _]

abstract trait Cov28[-A, B] extends AnyRef
    extest.Cov28[_, _]

abstract trait Cov29[-A, -B] extends AnyRef
    extest.Cov29[_, _]

abstract trait Cov31[+A, +B, C <: (A, B)] extends AnyRef
    extest.Cov31[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: (?0, ?1) }

abstract trait Cov32[+A, B, C <: (A, B)] extends AnyRef
    extest.Cov32[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: (?0, ?1) }

abstract trait Cov33[+A, -B, C <: Tuple2[A, _]] extends AnyRef
    extest.Cov33[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: Tuple2[?0, _] }

abstract trait Cov34[A, +B, C <: (A, B)] extends AnyRef
    extest.Cov34[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: (?0, ?1) }

abstract trait Cov35[A, B, C <: (A, B)] extends AnyRef
    extest.Cov35[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: (?0, ?1) }

abstract trait Cov36[A, -B, C <: Tuple2[A, _]] extends AnyRef
    extest.Cov36[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: Tuple2[?0, _] }

abstract trait Cov37[-A, +B, C <: Tuple2[_, B]] extends AnyRef
    extest.Cov37[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: Tuple2[_, ?1] }

abstract trait Cov38[-A, B, C <: Tuple2[_, B]] extends AnyRef
    extest.Cov38[?0,?1,?2] forSome { type ?0; type ?1; type ?2 <: Tuple2[_, ?1] }

abstract trait Cov39[-A, -B, C <: Tuple2[_, _]] extends AnyRef
    extest.Cov39[_, _, _ <: Tuple2[_, _]]

abstract trait Cov41[+A >: Null, +B] extends AnyRef
    extest.Cov41[_ >: Null, _]

abstract trait Cov42[+A >: Null, B] extends AnyRef
    extest.Cov42[_ >: Null, _]

abstract trait Cov43[+A >: Null, -B] extends AnyRef
    extest.Cov43[_ >: Null, _]

abstract trait Cov44[A >: Null, +B] extends AnyRef
    extest.Cov44[_ >: Null, _]

abstract trait Cov45[A >: Null, B] extends AnyRef
    extest.Cov45[_ >: Null, _]

abstract trait Cov46[A >: Null, -B] extends AnyRef
    extest.Cov46[_ >: Null, _]

abstract trait Cov47[-A >: Null, +B] extends AnyRef
    extest.Cov47[_ >: Null, _]

abstract trait Cov48[-A >: Null, B] extends AnyRef
    extest.Cov48[_ >: Null, _]

abstract trait Cov49[-A >: Null, -B] extends AnyRef
    extest.Cov49[_ >: Null, _]

abstract trait Covariant[+A <: AnyRef, +B] extends AnyRef
    extest.Covariant[_ <: AnyRef, _]

abstract trait CovariantLike[+A <: AnyRef, +B <: List[A], +This <: extest.CovariantLike[A,B,This] with extest.Covariant[A,B]] extends AnyRef
    extest.CovariantLike[?0,?1,?2] forSome { type ?0 <: AnyRef; type ?1 <: List[?0]; type ?2 <: extest.CovariantLike[?0,?1,?2] with extest.Covariant[?0,?1] }