Macro comparable::prop_pretty_assert_changes

macro_rules! prop_pretty_assert_changes {
    ($left:expr, $right:expr, $expected:expr$(,)?) => { ... };
}

Assert that two values of a type have changed in the way described, stopping at the first failure if this occurs in a proptest block.