Eris\Generator\SetGeneratorTest::testShrinksOnlyInSizeBecauseShrinkingElementsMayCauseCollisions PHP Method

    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());
    }