bug: duplicate identifier in consistency check (no crash)

Database: prusti-20260402-002524-e1d5e6c24.db

9 file(s) affected

File
alloc_sync_doctest_217.rs
alloc_sync_doctest_236.rs
core_hash_mod_doctest_722.rs
core_macros_mod_doctest_467.rs
core_ops_unsize_doctest_106.rs
core_range_doctest_255.rs
core_range_doctest_287.rs
core_range_doctest_298.rs
core_result_doctest_138.rs