bug: index out of bounds in GenericParams::map_index

Database: prusti-20260426-174735-3d9ad6e85.db

8 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_iter_traits_collect_doctest_348.rs
core_iter_traits_collect_doctest_52.rs
core_mem_maybe_uninit_doctest_448.rs
core_slice_mod_doctest_4907.rs