Trait ArbInterop

pub trait ArbInterop:
    for<'a> Arbitrary<'a>
    + 'static
    + Debug
    + Clone { }

The subset of possible arbitrary::Arbitrary implementations that this crate works with. The main concern here is the for<'a> Arbitrary<'a> business, which (in practice) decouples the generated Arbitrary value from the lifetime of the random buffer it’s fed; I can’t actually explain how, because Rust’s type system is way over my head.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl<A: for<'a> Arbitrary<'a> + 'static + Debug + Clone> ArbInterop for A