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

Database: prusti-20260309-175527-9eba9fcdc.db

25 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_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