Support UniqueElements annotation for Extensions
jlink opened this issue · comments
Testing Problem
Extensions (eg jqwik-vavr have to add their own configurator if they want to support @UniqueElements for custom-made arbitraries. Allow extensions to use the existing UniqueElementsConfigurator.
Suggested Solution
This could be done by introducing an interface for Arbitrary.uniqueElements(..) eg Uniquable.
Discussion
Alternative implementation: Add the method to StreamableArbitrary. But currently, not all subtypes support unique elements.
Implemented in 15f6067