summaryrefslogtreecommitdiff
path: root/test/files/run/existentials-in-compiler.check
blob: c8040a4cb12a30792518fa3fd629d157cb385118 (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 Object
    extest.Bippy[_ <: AnyRef, _]

abstract trait BippyBud[A <: AnyRef,B,C <: List[A]] extends Object
    extest.BippyBud[A,B,C] forSome { A <: AnyRef; B; C <: List[A] }

abstract trait BippyLike[A <: AnyRef,B <: List[A],This <: extest.BippyLike[A,B,This] with extest.Bippy[A,B]] extends Object
    extest.BippyLike[A,B,This] forSome { A <: AnyRef; B <: List[A]; This <: extest.BippyLike[A,B,This] with extest.Bippy[A,B] }

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

abstract trait Cov31[+A,+B,C <: (A, B)] extends Object
    extest.Cov31[A,B,C] forSome { +A; +B; C <: (A, B) }

abstract trait Cov32[+A,B,C <: (A, B)] extends Object
    extest.Cov32[A,B,C] forSome { +A; B; C <: (A, B) }

abstract trait Cov33[+A,-B,C <: (A, _$10) forSome { type _$10 }] extends Object
    extest.Cov33[A,B,C] forSome { +A; -B; C <: (A, _$10) forSome { type _$10 } }

abstract trait Cov34[A,+B,C <: (A, B)] extends Object
    extest.Cov34[A,B,C] forSome { A; +B; C <: (A, B) }

abstract trait Cov35[A,B,C <: (A, B)] extends Object
    extest.Cov35[A,B,C] forSome { A; B; C <: (A, B) }

abstract trait Cov36[A,-B,C <: (A, _$11) forSome { type _$11 }] extends Object
    extest.Cov36[A,B,C] forSome { A; -B; C <: (A, _$11) forSome { type _$11 } }

abstract trait Cov37[-A,+B,C <: (_$12, B) forSome { type _$12 }] extends Object
    extest.Cov37[A,B,C] forSome { -A; +B; C <: (_$12, B) forSome { type _$12 } }

abstract trait Cov38[-A,B,C <: (_$13, B) forSome { type _$13 }] extends Object
    extest.Cov38[A,B,C] forSome { -A; B; C <: (_$13, B) forSome { type _$13 } }

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

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

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

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

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

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

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

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

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

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

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

abstract trait CovariantLike[+A <: AnyRef,+B <: List[A],+This <: extest.CovariantLike[A,B,This] with extest.Covariant[A,B]] extends Object
    extest.CovariantLike[A,B,This] forSome { +A <: AnyRef; +B <: List[A]; +This <: extest.CovariantLike[A,B,This] with extest.Covariant[A,B] }