fn minimize_array_len( value: &mut DynSolValue, current: &mut Vec<DynSolValue>, try_value: &mut dyn FnMut(&DynSolValue) -> bool, ) -> bool