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