Type Definition proptest::arbitrary::ParamsFor

type ParamsFor<A> = <A as Arbitrary>::Parameters;

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.