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

Database: prusti-20260317-151414-d20ecc48c.db

26 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
alloc_vec_mod_doctest_1680.rs
core_cell_doctest_1184.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_mod_doctest_4110.rs