cannot unfold array type without index

Database: prusti-20260428-154632-6e19cc770.db

8 file(s) affected

File
alloc_vec_mod_doctest_4291.rs
core_cmp_doctest_1709.rs
core_cmp_doctest_1759.rs
core_cmp_doctest_1790.rs
core_iter_traits_iterator_doctest_98.rs
core_primitive_docs_doctest_712.rs
core_slice_mod_doctest_4669.rs
core_slice_mod_doctest_4744.rs