@@ -156,63 +156,63 @@ public function dataIsSuperTypeOf(): array
156156 TrinaryLogic::createNo (),
157157 ],
158158 [
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 ()]),
161161 TrinaryLogic::createNo (),
162162 ],
163163 [
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 ()]),
166166 TrinaryLogic::createNo (),
167167 ],
168168 [
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 ()]),
171171 TrinaryLogic::createYes (),
172172 ],
173173 [
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 ()]),
176176 TrinaryLogic::createYes (),
177177 ],
178178 [
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 ()]),
181181 TrinaryLogic::createNo (),
182182 ],
183183 [
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 ()]),
186186 TrinaryLogic::createYes (),
187187 ],
188188 [
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 ()]),
191191 TrinaryLogic::createYes (),
192192 ],
193193 [
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 ()]),
196196 TrinaryLogic::createNo (),
197197 ],
198198 ];
199199 }
200200
201201 public function dataTypeProjections (): array
202202 {
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 ()]);
206206
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 ()]);
210210
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 ()]);
214214
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 ()]);
216216
217217 return [
218218 [$ invariantB , $ invariantA , TrinaryLogic::createNo ()],
@@ -813,7 +813,7 @@ public function dataGetReferencedTypeArguments(): array
813813 TemplateTypeVariance::createContravariant (),
814814 new GenericObjectType (D \Invariant::class, [
815815 $ templateType ('T ' ),
816- ], null , null , [
816+ ], variances: [
817817 TemplateTypeVariance::createCovariant (),
818818 ]),
819819 [
@@ -827,7 +827,7 @@ public function dataGetReferencedTypeArguments(): array
827827 TemplateTypeVariance::createContravariant (),
828828 new GenericObjectType (D \Invariant::class, [
829829 $ templateType ('T ' ),
830- ], null , null , [
830+ ], variances: [
831831 TemplateTypeVariance::createContravariant (),
832832 ]),
833833 [
@@ -929,7 +929,7 @@ public function dataGetReferencedTypeArguments(): array
929929 TemplateTypeVariance::createCovariant (),
930930 new GenericObjectType (D \Invariant::class, [
931931 $ templateType ('T ' ),
932- ], null , null , [
932+ ], variances: [
933933 TemplateTypeVariance::createCovariant (),
934934 ]),
935935 [
@@ -943,7 +943,7 @@ public function dataGetReferencedTypeArguments(): array
943943 TemplateTypeVariance::createCovariant (),
944944 new GenericObjectType (D \Invariant::class, [
945945 $ templateType ('T ' ),
946- ], null , null , [
946+ ], variances: [
947947 TemplateTypeVariance::createContravariant (),
948948 ]),
949949 [
0 commit comments