unsupported: closure rvalue might be reached (no crash)

Database: prusti-20260306-164218-cd5e443f3.db

27 file(s) affected

File
core_bool_doctest_114.rs
core_bool_doctest_47.rs
core_cell_doctest_158.rs
core_cell_doctest_554.rs
core_cell_doctest_909.rs
core_cell_once_doctest_149.rs
core_cmp_doctest_1562.rs
core_cmp_doctest_1589.rs
core_cmp_doctest_1657.rs
core_cmp_doctest_1684.rs
core_cmp_doctest_549.rs
core_hint_doctest_83.rs
core_iter_traits_collect_doctest_227.rs
core_iter_traits_iterator_doctest_2622.rs
core_iter_traits_iterator_doctest_809.rs
core_mem_drop_guard_doctest_49.rs
core_ops_function_doctest_40.rs
core_option_doctest_1045.rs
core_option_doctest_1206.rs
core_option_doctest_1233.rs
core_option_doctest_1281.rs
core_result_doctest_844.rs
core_result_doctest_877.rs
core_result_doctest_906.rs
core_slice_mod_doctest_4394.rs
core_sync_atomic_doctest_1441.rs
core_sync_atomic_doctest_3494.rs