Function empty_shrinker 

pub fn empty_shrinker<A>() -> Box<dyn Iterator<Item = A>>
where
    A: 'static,

Creates a shrinker with zero elements.