pub fn empty_shrinker<A: 'static>() -> Box<dyn Iterator<Item = A>>
Creates a shrinker with zero elements.