unsupported: closure rvalue might be reached (no crash) — prusti-20260505-163045-ad5e5b44b.db

File
alloc_collections_binary_heap_mod_doctest_988.rs
alloc_collections_linked_list_doctest_1086.rs
alloc_collections_linked_list_doctest_1105.rs
alloc_collections_vec_deque_mod_doctest_1370.rs
alloc_collections_vec_deque_mod_doctest_2307.rs
alloc_collections_vec_deque_mod_doctest_2319.rs
alloc_collections_vec_deque_mod_doctest_2346.rs
alloc_collections_vec_deque_mod_doctest_2777.rs
alloc_collections_vec_deque_mod_doctest_2825.rs
alloc_collections_vec_deque_mod_doctest_2880.rs
alloc_collections_vec_deque_mod_doctest_2937.rs
alloc_rc_doctest_2913.rs
alloc_rc_doctest_2921.rs
alloc_rc_doctest_443.rs
alloc_slice_doctest_232.rs
alloc_slice_doctest_296.rs
alloc_string_doctest_1618.rs
alloc_string_doctest_1629.rs
alloc_string_doctest_2184.rs
alloc_sync_doctest_3938.rs
alloc_sync_doctest_3946.rs
alloc_sync_doctest_442.rs
core_array_mod_doctest_615.rs
core_array_mod_doctest_90.rs
core_array_mod_doctest_99.rs
core_bool_doctest_107.rs
core_bool_doctest_114.rs
core_bool_doctest_20.rs
core_bool_doctest_42.rs
core_bool_doctest_47.rs
core_bool_doctest_83.rs
core_cell_doctest_1529.rs
core_cell_doctest_158.rs
core_cell_doctest_189.rs
core_cell_doctest_554.rs
core_cell_doctest_909.rs
core_cell_lazy_doctest_127.rs
core_cell_lazy_doctest_63.rs
core_cell_lazy_doctest_89.rs
core_cell_once_doctest_149.rs
core_cell_once_doctest_22.rs
core_char_methods_doctest_135.rs
core_cmp_doctest_1562.rs
core_cmp_doctest_1589.rs
core_cmp_doctest_1657.rs
core_cmp_doctest_1684.rs
core_cmp_doctest_1721.rs
core_cmp_doctest_549.rs
core_cmp_doctest_615.rs
core_error_doctest_316.rs
core_error_doctest_575.rs
core_error_doctest_642.rs
core_fmt_builders_doctest_1218.rs
core_hint_doctest_38.rs
core_hint_doctest_83.rs
core_iter_adapters_peekable_doctest_268.rs
core_iter_adapters_peekable_doctest_279.rs
core_iter_sources_from_fn_doctest_28.rs
core_iter_sources_once_with_doctest_21.rs
core_iter_sources_repeat_with_doctest_27.rs
core_iter_sources_repeat_with_doctest_47.rs
core_iter_sources_successors_doctest_15.rs
core_iter_traits_collect_doctest_227.rs
core_iter_traits_double_ended_doctest_273.rs
core_iter_traits_double_ended_doctest_287.rs
core_iter_traits_iterator_doctest_160.rs
core_iter_traits_iterator_doctest_1611.rs
core_iter_traits_iterator_doctest_1796.rs
core_iter_traits_iterator_doctest_1942.rs
core_iter_traits_iterator_doctest_2395.rs
core_iter_traits_iterator_doctest_2462.rs
core_iter_traits_iterator_doctest_2533.rs
core_iter_traits_iterator_doctest_2557.rs
core_iter_traits_iterator_doctest_2622.rs
core_iter_traits_iterator_doctest_3725.rs
core_iter_traits_iterator_doctest_3794.rs
core_iter_traits_iterator_doctest_3963.rs
core_iter_traits_iterator_doctest_744.rs
core_iter_traits_iterator_doctest_757.rs
core_iter_traits_iterator_doctest_809.rs
core_mem_drop_guard_doctest_49.rs
core_mem_drop_guard_doctest_76.rs
core_ops_control_flow_doctest_17.rs
core_ops_function_doctest_117.rs
core_ops_function_doctest_128.rs
core_ops_function_doctest_204.rs
core_ops_function_doctest_40.rs
core_ops_function_doctest_47.rs
core_ops_mod_doctest_115.rs
core_ops_mod_doctest_83.rs
core_ops_mod_doctest_96.rs
core_ops_range_doctest_712.rs
core_ops_range_doctest_720.rs
core_option_doctest_1045.rs
core_option_doctest_1141.rs
core_option_doctest_1206.rs
core_option_doctest_1233.rs
core_option_doctest_1281.rs
core_option_doctest_1346.rs
core_option_doctest_1520.rs
core_option_doctest_1847.rs
core_option_doctest_1975.rs
core_option_doctest_2305.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_option_doctest_727.rs
core_panic_unwind_safe_doctest_127.rs
core_panic_unwind_safe_doctest_155.rs
core_pin_doctest_1297.rs
core_pin_doctest_1322.rs
core_range_doctest_453.rs
core_range_doctest_82.rs
core_result_doctest_47.rs
core_result_doctest_593.rs
core_result_doctest_646.rs
core_result_doctest_844.rs
core_result_doctest_877.rs
core_result_doctest_906.rs
core_result_doctest_970.rs
core_result_doctest_997.rs
core_slice_iter_doctest_1145.rs
core_slice_iter_doctest_1189.rs
core_slice_iter_doctest_389.rs
core_slice_iter_doctest_420.rs
core_slice_iter_doctest_545.rs
core_slice_iter_doctest_922.rs
core_slice_mod_doctest_1832.rs
core_slice_mod_doctest_1845.rs
core_slice_mod_doctest_2508.rs
core_slice_mod_doctest_2536.rs
core_slice_mod_doctest_2575.rs
core_slice_mod_doctest_2847.rs
core_slice_mod_doctest_2917.rs
core_slice_mod_doctest_3015.rs
core_slice_mod_doctest_3191.rs
core_slice_mod_doctest_4317.rs
core_slice_mod_doctest_4347.rs
core_slice_mod_doctest_4382.rs
core_slice_mod_doctest_4394.rs
core_str_mod_doctest_1566.rs
core_str_mod_doctest_1718.rs
core_str_mod_doctest_1868.rs
core_str_mod_doctest_1917.rs
core_str_mod_doctest_2328.rs
core_str_mod_doctest_2557.rs
core_str_mod_doctest_2641.rs
core_str_traits_doctest_789.rs
core_sync_atomic_doctest_1313.rs
core_sync_atomic_doctest_1383.rs
core_sync_atomic_doctest_1441.rs
core_sync_atomic_doctest_3366.rs
core_sync_atomic_doctest_3432.rs
core_sync_atomic_doctest_3494.rs
core_task_poll_doctest_39.rs