unsupported: closure rvalue might be reached (no crash)

Database: prusti-20260323-125921-08b08c532.db

10 file(s) affected

File
core_array_mod_doctest_90.rs
core_cell_doctest_158.rs
core_cell_doctest_189.rs
core_cmp_doctest_549.rs
core_iter_traits_collect_doctest_227.rs
core_iter_traits_iterator_doctest_3794.rs
core_iter_traits_iterator_doctest_809.rs
core_mem_drop_guard_doctest_49.rs
core_result_doctest_997.rs
core_slice_mod_doctest_2575.rs