/** * This method tests the "covariant" method. * * @dataProvider data_covariant */ public function test_covariant(array $provided, array $expected) { $p0 = IArrayList\Type::covariant(IArrayList\Type::make($provided[0])); $e0 = $expected[0]; $this->assertInstanceOf('\\Saber\\Data\\IArrayList\\Type', $p0); $this->assertSame($e0, $p0->unbox(1)); }