bug: duplicate identifier in consistency check (no crash)

Database: prusti-fix-missing-substitution-in-apply-wands-20260515-162448-aaf0046ee.db

152 file(s) affected

File
alloc_collections_binary_heap_mod_doctest_1515.rs
alloc_collections_binary_heap_mod_doctest_1649.rs
alloc_collections_binary_heap_mod_doctest_1916.rs
alloc_collections_btree_map_doctest_1435.rs
alloc_collections_btree_set_doctest_1098.rs
alloc_collections_btree_set_doctest_1204.rs
alloc_collections_btree_set_doctest_1533.rs
alloc_collections_btree_set_doctest_1825.rs
alloc_collections_btree_set_doctest_1858.rs
alloc_collections_btree_set_doctest_1916.rs
alloc_collections_btree_set_doctest_472.rs
alloc_collections_btree_set_doctest_503.rs
alloc_collections_btree_set_doctest_556.rs
alloc_collections_vec_deque_iter_doctest_33.rs
alloc_collections_vec_deque_iter_doctest_69.rs
alloc_collections_vec_deque_iter_mut_doctest_104.rs
alloc_collections_vec_deque_iter_mut_doctest_142.rs
alloc_collections_vec_deque_iter_mut_doctest_33.rs
alloc_collections_vec_deque_iter_mut_doctest_70.rs
alloc_collections_vec_deque_mod_doctest_1140.rs
alloc_collections_vec_deque_mod_doctest_1274.rs
alloc_collections_vec_deque_mod_doctest_1494.rs
alloc_collections_vec_deque_mod_doctest_1582.rs
alloc_collections_vec_deque_mod_doctest_1988.rs
alloc_collections_vec_deque_mod_doctest_2023.rs
alloc_collections_vec_deque_mod_doctest_2058.rs
alloc_collections_vec_deque_mod_doctest_2142.rs
alloc_collections_vec_deque_mod_doctest_2197.rs
alloc_collections_vec_deque_mod_doctest_2264.rs
alloc_collections_vec_deque_mod_doctest_2648.rs
alloc_collections_vec_deque_mod_doctest_2691.rs
alloc_collections_vec_deque_mod_doctest_2923.rs
alloc_collections_vec_deque_mod_doctest_2968.rs
alloc_collections_vec_deque_mod_doctest_742.rs
alloc_fmt_doctest_124.rs
alloc_fmt_doctest_14.rs
alloc_fmt_doctest_149.rs
alloc_fmt_doctest_183.rs
alloc_fmt_doctest_252.rs
alloc_fmt_doctest_281.rs
alloc_fmt_doctest_299.rs
alloc_fmt_doctest_547.rs
alloc_fmt_doctest_81.rs
alloc_macros_doctest_93.rs
alloc_slice_doctest_174.rs
alloc_sync_doctest_1056.rs
alloc_sync_doctest_1079.rs
alloc_sync_doctest_217.rs
alloc_sync_doctest_236.rs
alloc_vec_mod_doctest_212.rs
core_array_ascii_doctest_9.rs
core_array_mod_doctest_523.rs
core_array_mod_doctest_683.rs
core_array_mod_doctest_69.rs
core_array_mod_doctest_761.rs
core_cell_doctest_1630.rs
core_clone_doctest_218.rs
core_error_doctest_152.rs
core_error_doctest_478.rs
core_fmt_mod_doctest_1589.rs
core_fmt_mod_doctest_1687.rs
core_fmt_mod_doctest_1940.rs
core_fmt_mod_doctest_1973.rs
core_fmt_mod_doctest_2043.rs
core_fmt_mod_doctest_2077.rs
core_hash_mod_doctest_722.rs
core_intrinsics_mod_doctest_717.rs
core_iter_adapters_chain_doctest_311.rs
core_iter_traits_iterator_doctest_1181.rs
core_iter_traits_iterator_doctest_1261.rs
core_iter_traits_iterator_doctest_1537.rs
core_iter_traits_iterator_doctest_2194.rs
core_iter_traits_iterator_doctest_3369.rs
core_iter_traits_iterator_doctest_3404.rs
core_iter_traits_iterator_doctest_3440.rs
core_iter_traits_iterator_doctest_795.rs
core_iter_traits_iterator_doctest_86.rs
core_macros_mod_doctest_467.rs
core_macros_mod_doctest_558.rs
core_mem_maybe_uninit_doctest_1350.rs
core_ops_range_doctest_176.rs
core_ops_range_doctest_256.rs
core_ops_range_doctest_28.rs
core_ops_range_doctest_332.rs
core_ops_range_doctest_577.rs
core_ops_range_doctest_67.rs
core_ops_unsize_doctest_106.rs
core_option_doctest_410.rs
core_primitive_docs_doctest_868.rs
core_ptr_mod_doctest_1338.rs
core_range_doctest_221.rs
core_range_doctest_255.rs
core_range_doctest_287.rs
core_range_doctest_298.rs
core_range_doctest_320.rs
core_range_doctest_6.rs
core_result_doctest_138.rs
core_result_doctest_159.rs
core_result_doctest_192.rs
core_slice_ascii_doctest_149.rs
core_slice_ascii_doctest_178.rs
core_slice_ascii_doctest_208.rs
core_slice_mod_doctest_1070.rs
core_slice_mod_doctest_1135.rs
core_slice_mod_doctest_1222.rs
core_slice_mod_doctest_1314.rs
core_slice_mod_doctest_1371.rs
core_slice_mod_doctest_1380.rs
core_slice_mod_doctest_1428.rs
core_slice_mod_doctest_1472.rs
core_slice_mod_doctest_1625.rs
core_slice_mod_doctest_1664.rs
core_slice_mod_doctest_1752.rs
core_slice_mod_doctest_1920.rs
core_slice_mod_doctest_1966.rs
core_slice_mod_doctest_2006.rs
core_slice_mod_doctest_2069.rs
core_slice_mod_doctest_2120.rs
core_slice_mod_doctest_2169.rs
core_slice_mod_doctest_2201.rs
core_slice_mod_doctest_2215.rs
core_slice_mod_doctest_2227.rs
core_slice_mod_doctest_2273.rs
core_slice_mod_doctest_2286.rs
core_slice_mod_doctest_2333.rs
core_slice_mod_doctest_2345.rs
core_slice_mod_doctest_3136.rs
core_slice_mod_doctest_3419.rs
core_slice_mod_doctest_3453.rs
core_slice_mod_doctest_3579.rs
core_slice_mod_doctest_372.rs
core_slice_mod_doctest_3747.rs
core_slice_mod_doctest_3810.rs
core_slice_mod_doctest_3941.rs
core_slice_mod_doctest_432.rs
core_slice_mod_doctest_4433.rs
core_slice_mod_doctest_4443.rs
core_slice_mod_doctest_4806.rs
core_slice_mod_doctest_4965.rs
core_str_mod_doctest_1702.rs
core_str_mod_doctest_1761.rs
core_str_mod_doctest_1807.rs
core_str_mod_doctest_1852.rs
core_str_mod_doctest_1904.rs
core_str_mod_doctest_2067.rs
core_str_mod_doctest_2107.rs
core_str_mod_doctest_2928.rs
core_str_mod_doctest_2941.rs
core_str_mod_doctest_2974.rs
core_str_mod_doctest_2987.rs
core_str_mod_doctest_3012.rs
core_str_mod_doctest_3025.rs