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

Database: prusti-20260309-122840-ad11284f6.db

35 file(s) affected

File
alloc_boxed_doctest_268.rs
alloc_boxed_doctest_451.rs
alloc_boxed_doctest_915.rs
alloc_collections_binary_heap_mod_doctest_963.rs
alloc_collections_linked_list_doctest_856.rs
alloc_collections_linked_list_doctest_928.rs
core_cell_doctest_1184.rs
core_cell_doctest_1209.rs
core_cell_doctest_2165.rs
core_cell_doctest_2269.rs
core_cell_doctest_2320.rs
core_cell_doctest_604.rs
core_cell_doctest_623.rs
core_cell_doctest_679.rs
core_cell_doctest_701.rs
core_cell_once_doctest_179.rs
core_mem_maybe_uninit_doctest_1036.rs
core_mem_maybe_uninit_doctest_428.rs
core_mem_maybe_uninit_doctest_591.rs
core_mem_maybe_uninit_doctest_652.rs
core_mem_maybe_uninit_doctest_70.rs
core_mem_maybe_uninit_doctest_981.rs
core_option_doctest_1701.rs
core_option_doctest_885.rs
core_result_doctest_771.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