cannot unfold array type without index

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

9 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_3528.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