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.
jlink
commented
1 year ago
Testing Problem
Extensions (eg jqwik-vavr have to add their own configurator if they want to support
@UniqueElementsfor custom-made arbitraries. Allow extensions to use the existingUniqueElementsConfigurator.Suggested Solution
This could be done by introducing an interface for
Arbitrary.uniqueElements(..)egUniquable.Discussion
Alternative implementation: Add the method to
StreamableArbitrary. But currently, not all subtypes support unique elements.