index out of bounds: the len is 1 but the index is 1

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

4 file(s) affected

File
alloc_borrow_doctest_117.rs
alloc_rc_doctest_159.rs
core_fmt_mod_doctest_1940.rs
core_str_lossy_doctest_18.rs