bug: duplicate identifier in consistency check (no crash)

Database: prusti-20260227-115713-f74843625.db

14 file(s) affected

File
alloc_collections_binary_heap_mod_doctest_1515.rs
alloc_collections_binary_heap_mod_doctest_1649.rs
alloc_collections_vec_deque_iter_doctest_69.rs
alloc_collections_vec_deque_iter_mut_doctest_142.rs
core_bool_doctest_114.rs
core_bool_doctest_47.rs
core_hash_mod_doctest_722.rs
core_ops_unsize_doctest_106.rs
core_option_doctest_1045.rs
core_option_doctest_1233.rs
core_range_doctest_255.rs
core_range_doctest_287.rs
core_range_doctest_298.rs
core_result_doctest_877.rs