bug: index out of bounds in GenericParams::map_index

Database: prusti-20260411-002735-8d9c868d0.db

6 file(s) affected

File
core_hash_mod_doctest_108.rs
core_hash_mod_doctest_119.rs
core_hash_mod_doctest_14.rs
core_hash_mod_doctest_47.rs
core_mem_maybe_uninit_doctest_448.rs
core_slice_mod_doctest_4907.rs