cannot unfold array type without index

Database: prusti-20260505-163045-ad5e5b44b.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