unsupported: passing functions into other functions

Database: prusti-20260513-142116-0ffb80180.db

47 file(s) affected

File
alloc_collections_vec_deque_mod_doctest_2417.rs
alloc_str_doctest_304.rs
alloc_vec_into_iter_doctest_123.rs
core_array_mod_doctest_555.rs
core_convert_mod_doctest_78.rs
core_convert_mod_doctest_94.rs
core_fmt_mod_doctest_2551.rs
core_intrinsics_mod_doctest_739.rs
core_iter_traits_iterator_doctest_1833.rs
core_iter_traits_iterator_doctest_2317.rs
core_iter_traits_iterator_doctest_3141.rs
core_iter_traits_iterator_doctest_3177.rs
core_marker_variance_doctest_255.rs
core_mem_mod_doctest_973.rs
core_option_doctest_1508.rs
core_option_doctest_1557.rs
core_option_doctest_1629.rs
core_option_doctest_1932.rs
core_primitive_docs_doctest_1753.rs
core_result_doctest_1453.rs
core_result_doctest_1539.rs
core_result_doctest_1598.rs
core_result_doctest_476.rs
core_result_doctest_942.rs
core_slice_mod_doctest_3720.rs
core_slice_mod_doctest_4182.rs
core_str_iter_doctest_1005.rs
core_str_iter_doctest_1028.rs
core_str_iter_doctest_1203.rs
core_str_iter_doctest_1337.rs
core_str_iter_doctest_1395.rs
core_str_iter_doctest_1465.rs
core_str_iter_doctest_814.rs
core_str_iter_doctest_837.rs
core_str_iter_doctest_878.rs
core_str_iter_doctest_901.rs
core_str_mod_doctest_1435.rs
core_str_mod_doctest_1483.rs
core_str_mod_doctest_1534.rs
core_str_mod_doctest_1992.rs
core_str_mod_doctest_2026.rs
core_str_mod_doctest_2318.rs
core_str_mod_doctest_2371.rs
core_str_mod_doctest_2547.rs
core_str_mod_doctest_2594.rs
core_str_mod_doctest_2631.rs
core_str_pattern_doctest_938.rs