Function zebra_state::service::finalized_state::arbitrary::assert_value_properties

pub fn assert_value_properties<T>(input: T)
where
    T: IntoDisk + FromDisk + Clone + PartialEq + Debug,

The round trip test covers types that are used as value field in a rocksdb column family. Only these types are ever deserialized, and so they’re the only ones that implement both IntoDisk and FromDisk.