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

Database: prusti-20260330-142143-52e9f08d2.db

24 file(s) affected

File
alloc_borrow_doctest_50.rs
alloc_slice_doctest_685.rs
alloc_vec_in_place_collect_doctest_117.rs
alloc_vec_in_place_collect_doctest_128.rs
core_hash_mod_doctest_649.rs
core_intrinsics_mod_doctest_631.rs
core_iter_traits_iterator_doctest_2739.rs
core_iter_traits_iterator_doctest_2792.rs
core_macros_mod_doctest_423.rs
core_num_mod_doctest_1401.rs
core_num_nonzero_doctest_1683.rs
core_num_nonzero_doctest_2005.rs
core_num_nonzero_doctest_2031.rs
core_ops_try_trait_doctest_101.rs
core_ops_try_trait_doctest_23.rs
core_ops_try_trait_doctest_56.rs
core_ops_try_trait_doctest_79.rs
core_option_doctest_97.rs
core_primitive_docs_doctest_129.rs
core_ptr_mut_ptr_doctest_38.rs
core_slice_mod_doctest_892.rs
core_slice_mod_doctest_931.rs
core_slice_mod_doctest_966.rs
core_sync_atomic_doctest_4320.rs