@@ -156,63 +156,63 @@ public function dataIsSuperTypeOf(): array
156
156
TrinaryLogic::createNo (),
157
157
],
158
158
[
159
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createInvariant ()]),
160
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
159
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createInvariant ()]),
160
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createCovariant ()]),
161
161
TrinaryLogic::createNo (),
162
162
],
163
163
[
164
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createInvariant ()]),
165
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createContravariant ()]),
164
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createInvariant ()]),
165
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createContravariant ()]),
166
166
TrinaryLogic::createNo (),
167
167
],
168
168
[
169
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
170
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createInvariant ()]),
169
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createCovariant ()]),
170
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createInvariant ()]),
171
171
TrinaryLogic::createYes (),
172
172
],
173
173
[
174
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
175
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
174
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createCovariant ()]),
175
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createCovariant ()]),
176
176
TrinaryLogic::createYes (),
177
177
],
178
178
[
179
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
180
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createContravariant ()]),
179
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createCovariant ()]),
180
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createContravariant ()]),
181
181
TrinaryLogic::createNo (),
182
182
],
183
183
[
184
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createContravariant ()]),
185
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createInvariant ()]),
184
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createContravariant ()]),
185
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createInvariant ()]),
186
186
TrinaryLogic::createYes (),
187
187
],
188
188
[
189
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createContravariant ()]),
190
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createInvariant ()]),
189
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createContravariant ()]),
190
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createInvariant ()]),
191
191
TrinaryLogic::createYes (),
192
192
],
193
193
[
194
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], null , null , [TemplateTypeVariance::createContravariant ()]),
195
- new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], null , null , [TemplateTypeVariance::createCovariant ()]),
194
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTime ' )], variances: [TemplateTypeVariance::createContravariant ()]),
195
+ new GenericObjectType (C \Invariant::class, [new ObjectType ('DateTimeInterface ' )], variances: [TemplateTypeVariance::createCovariant ()]),
196
196
TrinaryLogic::createNo (),
197
197
],
198
198
];
199
199
}
200
200
201
201
public function dataTypeProjections (): array
202
202
{
203
- $ invariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], null , null , [TemplateTypeVariance::createInvariant ()]);
204
- $ invariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], null , null , [TemplateTypeVariance::createInvariant ()]);
205
- $ invariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], null , null , [TemplateTypeVariance::createInvariant ()]);
203
+ $ invariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], variances: [TemplateTypeVariance::createInvariant ()]);
204
+ $ invariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], variances: [TemplateTypeVariance::createInvariant ()]);
205
+ $ invariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], variances: [TemplateTypeVariance::createInvariant ()]);
206
206
207
- $ covariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], null , null , [TemplateTypeVariance::createCovariant ()]);
208
- $ covariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], null , null , [TemplateTypeVariance::createCovariant ()]);
209
- $ covariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], null , null , [TemplateTypeVariance::createCovariant ()]);
207
+ $ covariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], variances: [TemplateTypeVariance::createCovariant ()]);
208
+ $ covariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], variances: [TemplateTypeVariance::createCovariant ()]);
209
+ $ covariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], variances: [TemplateTypeVariance::createCovariant ()]);
210
210
211
- $ contravariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], null , null , [TemplateTypeVariance::createContravariant ()]);
212
- $ contravariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], null , null , [TemplateTypeVariance::createContravariant ()]);
213
- $ contravariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], null , null , [TemplateTypeVariance::createContravariant ()]);
211
+ $ contravariantA = new GenericObjectType (E \Foo::class, [new ObjectType (E \A::class)], variances: [TemplateTypeVariance::createContravariant ()]);
212
+ $ contravariantB = new GenericObjectType (E \Foo::class, [new ObjectType (E \B::class)], variances: [TemplateTypeVariance::createContravariant ()]);
213
+ $ contravariantC = new GenericObjectType (E \Foo::class, [new ObjectType (E \C::class)], variances: [TemplateTypeVariance::createContravariant ()]);
214
214
215
- $ bivariant = new GenericObjectType (E \Foo::class, [new MixedType (true )], null , null , [TemplateTypeVariance::createBivariant ()]);
215
+ $ bivariant = new GenericObjectType (E \Foo::class, [new MixedType (true )], variances: [TemplateTypeVariance::createBivariant ()]);
216
216
217
217
return [
218
218
[$ invariantB , $ invariantA , TrinaryLogic::createNo ()],
@@ -813,7 +813,7 @@ public function dataGetReferencedTypeArguments(): array
813
813
TemplateTypeVariance::createContravariant (),
814
814
new GenericObjectType (D \Invariant::class, [
815
815
$ templateType ('T ' ),
816
- ], null , null , [
816
+ ], variances: [
817
817
TemplateTypeVariance::createCovariant (),
818
818
]),
819
819
[
@@ -827,7 +827,7 @@ public function dataGetReferencedTypeArguments(): array
827
827
TemplateTypeVariance::createContravariant (),
828
828
new GenericObjectType (D \Invariant::class, [
829
829
$ templateType ('T ' ),
830
- ], null , null , [
830
+ ], variances: [
831
831
TemplateTypeVariance::createContravariant (),
832
832
]),
833
833
[
@@ -929,7 +929,7 @@ public function dataGetReferencedTypeArguments(): array
929
929
TemplateTypeVariance::createCovariant (),
930
930
new GenericObjectType (D \Invariant::class, [
931
931
$ templateType ('T ' ),
932
- ], null , null , [
932
+ ], variances: [
933
933
TemplateTypeVariance::createCovariant (),
934
934
]),
935
935
[
@@ -943,7 +943,7 @@ public function dataGetReferencedTypeArguments(): array
943
943
TemplateTypeVariance::createCovariant (),
944
944
new GenericObjectType (D \Invariant::class, [
945
945
$ templateType ('T ' ),
946
- ], null , null , [
946
+ ], variances: [
947
947
TemplateTypeVariance::createContravariant (),
948
948
]),
949
949
[
0 commit comments