bug: verification error could not be backtranslated (no crash)

File
alloc_boxed_convert_doctest_330.rs
alloc_str_doctest_227.rs
alloc_string_doctest_466.rs
alloc_vec_in_place_collect_doctest_117.rs
alloc_vec_in_place_collect_doctest_128.rs
alloc_vec_mod_doctest_489.rs
alloc_vec_mod_doctest_925.rs
core_ascii_doctest_50.rs
core_cell_doctest_189.rs
core_char_methods_doctest_731.rs
core_hash_mod_doctest_621.rs
core_hash_mod_doctest_649.rs
core_macros_mod_doctest_423.rs
core_num_mod_doctest_1401.rs
core_num_nonzero_doctest_1063.rs
core_num_nonzero_doctest_1103.rs
core_num_nonzero_doctest_1180.rs
core_num_nonzero_doctest_1481.rs
core_num_nonzero_doctest_1520.rs
core_num_nonzero_doctest_1590.rs
core_num_nonzero_doctest_1619.rs
core_num_nonzero_doctest_1647.rs
core_num_nonzero_doctest_1683.rs
core_num_nonzero_doctest_1712.rs
core_num_nonzero_doctest_1810.rs
core_num_nonzero_doctest_1874.rs
core_num_nonzero_doctest_1908.rs
core_num_nonzero_doctest_1941.rs
core_num_nonzero_doctest_1973.rs
core_num_nonzero_doctest_2005.rs
core_num_nonzero_doctest_2031.rs
core_num_nonzero_doctest_2089.rs
core_num_nonzero_doctest_2119.rs
core_num_nonzero_doctest_2154.rs
core_num_nonzero_doctest_571.rs
core_num_nonzero_doctest_601.rs
core_num_nonzero_doctest_628.rs
core_num_nonzero_doctest_658.rs
core_num_nonzero_doctest_688.rs
core_num_nonzero_doctest_712.rs
core_num_nonzero_doctest_736.rs
core_num_nonzero_doctest_771.rs
core_num_nonzero_doctest_802.rs
core_num_nonzero_doctest_829.rs
core_num_nonzero_doctest_857.rs
core_num_nonzero_doctest_887.rs
core_num_nonzero_doctest_920.rs
core_num_nonzero_doctest_953.rs
core_num_nonzero_doctest_986.rs
core_num_saturating_doctest_26.rs
core_num_wrapping_doctest_1077.rs
core_num_wrapping_doctest_27.rs
core_num_wrapping_doctest_951.rs
core_ops_arith_doctest_1045.rs
core_ops_arith_doctest_979.rs
core_ops_function_doctest_47.rs
core_ops_mod_doctest_83.rs
core_option_doctest_97.rs
core_primitive_docs_doctest_129.rs
core_ptr_mut_ptr_doctest_38.rs
core_ptr_non_null_doctest_1399.rs
core_slice_raw_doctest_331.rs
core_str_traits_doctest_845.rs
core_sync_atomic_doctest_4320.rs
core_time_doctest_56.rs
core_time_doctest_9.rs