The Send bound is a relic from the past. Indeed, the docs for the
Arbitrary trait have been outdated for quite some time. quickcheck
stopped running each test in a separate thread once
std::panic::catch_unwind was stabilized many moons ago. With
catch_unwind, the Send bound is no longer necessary.
We do need to retain the 'static bound though. Without that,
implementing shrink seems implausible.
The Send bound is a relic from the past. Indeed, the docs for the Arbitrary trait have been outdated for quite some time. quickcheck stopped running each test in a separate thread once
std::panic::catch_unwind
was stabilized many moons ago. Withcatch_unwind
, theSend
bound is no longer necessary.We do need to retain the
'static
bound though. Without that, implementing shrink seems implausible.Fixes #262