@@ -96,13 +96,15 @@ public static function dataIsSuperTypeOf(): array
9696}
9797
9898#[DataProvider('dataIsSuperTypeOf ' )]
99- public function testIsSuperTypeOf (StringType $ type , Type $ otherType , TrinaryLogic $ expectedResult ): void
99+ public function testIsSuperTypeOf (Type $ stringType , Type $ otherType , TrinaryLogic $ expectedResult ): void
100100{
101- $ actualResult = $ type ->isSuperTypeOf ($ otherType );
101+ $ this ->assertInstanceOf (StringType::class, $ stringType );
102+
103+ $ actualResult = $ stringType ->isSuperTypeOf ($ otherType );
102104$ this ->assertSame (
103105$ expectedResult ->describe (),
104106$ actualResult ->describe (),
105- sprintf ('%s -> isSuperTypeOf(%s) ' , $ type ->describe (VerbosityLevel::precise ()), $ otherType ->describe (VerbosityLevel::precise ())),
107+ sprintf ('%s -> isSuperTypeOf(%s) ' , $ stringType ->describe (VerbosityLevel::precise ()), $ otherType ->describe (VerbosityLevel::precise ())),
106108);
107109}
108110
@@ -174,13 +176,15 @@ public static function dataAccepts(): iterable
174176}
175177
176178#[DataProvider('dataAccepts ' )]
177- public function testAccepts (StringType $ type , Type $ otherType , TrinaryLogic $ expectedResult ): void
179+ public function testAccepts (Type $ stringType , Type $ otherType , TrinaryLogic $ expectedResult ): void
178180{
179- $ actualResult = $ type ->accepts ($ otherType , true )->result ;
181+ $ this ->assertInstanceOf (StringType::class, $ stringType );
182+
183+ $ actualResult = $ stringType ->accepts ($ otherType , true )->result ;
180184$ this ->assertSame (
181185$ expectedResult ->describe (),
182186$ actualResult ->describe (),
183- sprintf ('%s -> accepts(%s) ' , $ type ->describe (VerbosityLevel::precise ()), $ otherType ->describe (VerbosityLevel::precise ())),
187+ sprintf ('%s -> accepts(%s) ' , $ stringType ->describe (VerbosityLevel::precise ()), $ otherType ->describe (VerbosityLevel::precise ())),
184188);
185189}
186190
0 commit comments