bug: region index out-of-bounds — prusti-20260305-202754-937425f70.db

File
alloc_borrow_doctest_117.rs
alloc_collections_vec_deque_mod_doctest_1327.rs
alloc_collections_vec_deque_mod_doctest_3234.rs
core_array_mod_doctest_683.rs
core_array_mod_doctest_728.rs
core_array_mod_doctest_761.rs
core_array_mod_doctest_806.rs
core_intrinsics_mod_doctest_781.rs
core_mem_maybe_uninit_doctest_448.rs
core_num_int_macros_doctest_3620.rs
core_num_int_macros_doctest_3622.rs
core_num_int_macros_doctest_3624.rs
core_num_int_macros_doctest_3649.rs
core_num_int_macros_doctest_3651.rs
core_num_int_macros_doctest_3653.rs
core_num_int_macros_doctest_3689.rs
core_num_int_macros_doctest_3691.rs
core_num_int_macros_doctest_3693.rs
core_num_uint_macros_doctest_3572.rs
core_num_uint_macros_doctest_3574.rs
core_num_uint_macros_doctest_3575.rs
core_num_uint_macros_doctest_3601.rs
core_num_uint_macros_doctest_3603.rs
core_num_uint_macros_doctest_3604.rs
core_num_uint_macros_doctest_3641.rs
core_num_uint_macros_doctest_3643.rs
core_num_uint_macros_doctest_3644.rs
core_pin_doctest_1392.rs
core_pin_doctest_1808.rs
core_pin_doctest_288.rs
core_pin_doctest_566.rs
core_pin_doctest_653.rs
core_ptr_mod_doctest_1252.rs
core_slice_mod_doctest_1371.rs
core_slice_mod_doctest_1380.rs
core_slice_mod_doctest_1428.rs
core_slice_mod_doctest_1531.rs
core_slice_mod_doctest_1584.rs
core_slice_mod_doctest_1920.rs
core_slice_mod_doctest_1966.rs
core_slice_mod_doctest_2006.rs
core_slice_mod_doctest_2069.rs
core_slice_mod_doctest_3243.rs
core_slice_mod_doctest_3307.rs
core_slice_mod_doctest_3374.rs
core_slice_mod_doctest_3419.rs
core_slice_mod_doctest_3453.rs
core_slice_mod_doctest_3579.rs
core_slice_mod_doctest_3774.rs
core_slice_mod_doctest_3837.rs
core_slice_mod_doctest_3964.rs
core_slice_mod_doctest_4045.rs
core_slice_mod_doctest_4110.rs
core_slice_mod_doctest_4499.rs
core_slice_mod_doctest_4509.rs
core_slice_mod_doctest_4583.rs
core_slice_mod_doctest_4633.rs
core_slice_mod_doctest_4907.rs
core_str_mod_doctest_819.rs
core_str_mod_doctest_858.rs