unsupported: closure rvalue might be reached (no crash)

Database: prusti-20260402-002524-e1d5e6c24.db

13 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_3963.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
core_slice_mod_doctest_4317.rs
core_slice_mod_doctest_4347.rs