public function testShrinksOnlyInSizeBecauseShrinkingElementsMayCauseCollisions()
{
$generator = new SetGenerator($this->singleElementGenerator);
$elements = $generator($this->size, $this->rand);
$elementsAfterShrink = $generator->shrink($elements);
$this->assertLessThanOrEqual(count($elements->unbox()), count($elementsAfterShrink->unbox()));
$this->assertNoRepeatedElements($elementsAfterShrink->unbox());
}