unsupported: passing functions into other functions

Database: prusti-20260309-175527-9eba9fcdc.db

26 file(s) affected

File
alloc_vec_into_iter_doctest_123.rs
core_convert_mod_doctest_78.rs
core_convert_mod_doctest_94.rs
core_intrinsics_mod_doctest_739.rs
core_iter_traits_iterator_doctest_1833.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_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_pattern_doctest_938.rs