bug: local variable not found in consistency check (no crash)

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

14 file(s) affected

File
alloc_vec_mod_doctest_1680.rs
core_cell_doctest_701.rs
core_mem_maybe_uninit_doctest_428.rs
core_mem_maybe_uninit_doctest_70.rs
core_slice_iter_doctest_1022.rs
core_slice_iter_doctest_1232.rs
core_slice_iter_doctest_1273.rs
core_slice_iter_doctest_1656.rs
core_slice_iter_doctest_2020.rs
core_slice_iter_doctest_2491.rs
core_slice_iter_doctest_2864.rs
core_slice_iter_doctest_669.rs
core_slice_iter_doctest_798.rs
core_slice_mod_doctest_4110.rs