pub type ParamsFor<A> = <A as Arbitrary>::Parameters;
Expand description

ParamsFor allows you to mention the type of Parameters for the input type A without directly using associated types or without resorting to existential types. This way, if implementation of Arbitrary changes, your tests should not break.