unsupported: function shapes containing alias types (pcg) — prusti-20260317-151414-d20ecc48c.db

File
alloc_borrow_doctest_117.rs
alloc_borrow_doctest_147.rs
alloc_borrow_doctest_262.rs
alloc_borrow_doctest_295.rs
alloc_borrow_doctest_310.rs
alloc_boxed_convert_doctest_183.rs
alloc_boxed_doctest_1252.rs
alloc_boxed_doctest_1305.rs
alloc_boxed_doctest_332.rs
alloc_boxed_doctest_349.rs
alloc_boxed_doctest_375.rs
alloc_boxed_doctest_428.rs
alloc_boxed_doctest_485.rs
alloc_boxed_doctest_559.rs
alloc_boxed_doctest_684.rs
alloc_boxed_doctest_720.rs
alloc_boxed_doctest_827.rs
alloc_boxed_doctest_868.rs
alloc_boxed_thin_doctest_79.rs
alloc_collections_binary_heap_mod_doctest_19.rs
alloc_collections_binary_heap_mod_doctest_374.rs
alloc_collections_binary_heap_mod_doctest_395.rs
alloc_collections_binary_heap_mod_doctest_596.rs
alloc_collections_vec_deque_mod_doctest_1327.rs
alloc_collections_vec_deque_mod_doctest_1370.rs
alloc_collections_vec_deque_mod_doctest_706.rs
alloc_rc_doctest_1195.rs
alloc_rc_doctest_1733.rs
alloc_rc_doctest_1859.rs
alloc_rc_doctest_1877.rs
alloc_rc_doctest_1957.rs
alloc_rc_doctest_2353.rs
alloc_rc_doctest_2760.rs
alloc_rc_doctest_2799.rs
alloc_rc_doctest_2937.rs
alloc_rc_doctest_3189.rs
alloc_rc_doctest_482.rs
alloc_rc_doctest_517.rs
alloc_rc_doctest_546.rs
alloc_rc_doctest_575.rs
alloc_rc_doctest_611.rs
alloc_rc_doctest_673.rs
alloc_rc_doctest_716.rs
alloc_rc_doctest_829.rs
alloc_rc_doctest_856.rs
alloc_rc_doctest_900.rs
alloc_string_doctest_1954.rs
alloc_string_doctest_2058.rs
alloc_string_doctest_214.rs
alloc_string_doctest_2512.rs
alloc_string_doctest_268.rs
alloc_string_doctest_973.rs
alloc_sync_doctest_1338.rs
alloc_sync_doctest_2277.rs
alloc_sync_doctest_2295.rs
alloc_sync_doctest_2393.rs
alloc_sync_doctest_2435.rs
alloc_sync_doctest_2562.rs
alloc_sync_doctest_2916.rs
alloc_sync_doctest_3551.rs
alloc_sync_doctest_3785.rs
alloc_sync_doctest_3962.rs
alloc_sync_doctest_482.rs
alloc_sync_doctest_518.rs
alloc_sync_doctest_564.rs
alloc_sync_doctest_589.rs
alloc_sync_doctest_625.rs
alloc_sync_doctest_686.rs
alloc_sync_doctest_729.rs
alloc_sync_doctest_878.rs
alloc_sync_doctest_910.rs
alloc_sync_doctest_954.rs
alloc_vec_in_place_collect_doctest_138.rs
alloc_vec_mod_doctest_1026.rs
alloc_vec_mod_doctest_1146.rs
alloc_vec_mod_doctest_177.rs
alloc_vec_mod_doctest_4124.rs
alloc_vec_mod_doctest_4291.rs
core_array_mod_doctest_237.rs
core_array_mod_doctest_263.rs
core_array_mod_doctest_289.rs
core_array_mod_doctest_312.rs
core_array_mod_doctest_728.rs
core_array_mod_doctest_806.rs
core_bool_doctest_20.rs
core_bool_doctest_83.rs
core_borrow_doctest_118.rs
core_cell_lazy_doctest_127.rs
core_cell_lazy_doctest_166.rs
core_convert_mod_doctest_550.rs
core_convert_mod_doctest_658.rs
core_ffi_c_str_doctest_283.rs
core_ffi_c_str_doctest_471.rs
core_fmt_mod_doctest_138.rs
core_fmt_mod_doctest_166.rs
core_fmt_mod_doctest_680.rs
core_hint_doctest_703.rs
core_intrinsics_mod_doctest_651.rs
core_intrinsics_mod_doctest_781.rs
core_iter_traits_exact_size_doctest_50.rs
core_iter_traits_iterator_doctest_1031.rs
core_iter_traits_iterator_doctest_393.rs
core_marker_doctest_977.rs
core_mem_drop_guard_doctest_11.rs
core_mem_manually_drop_doctest_166.rs
core_mem_maybe_uninit_doctest_1048.rs
core_mem_maybe_uninit_doctest_1111.rs
core_mem_maybe_uninit_doctest_1323.rs
core_mem_maybe_uninit_doctest_955.rs
core_net_ip_addr_doctest_15.rs
core_net_ip_addr_doctest_156.rs
core_net_ip_addr_doctest_60.rs
core_net_parser_doctest_488.rs
core_net_socket_addr_doctest_132.rs
core_net_socket_addr_doctest_22.rs
core_net_socket_addr_doctest_70.rs
core_num_int_macros_doctest_3581.rs
core_num_int_macros_doctest_3583.rs
core_num_int_macros_doctest_3585.rs
core_num_int_macros_doctest_3613.rs
core_num_int_macros_doctest_3615.rs
core_num_int_macros_doctest_3617.rs
core_num_int_macros_doctest_3620.rs
core_num_int_macros_doctest_3622.rs
core_num_int_macros_doctest_3624.rs
core_num_int_macros_doctest_3642.rs
core_num_int_macros_doctest_3644.rs
core_num_int_macros_doctest_3646.rs
core_num_int_macros_doctest_3649.rs
core_num_int_macros_doctest_3651.rs
core_num_int_macros_doctest_3653.rs
core_num_int_macros_doctest_3678.rs
core_num_int_macros_doctest_3680.rs
core_num_int_macros_doctest_3682.rs
core_num_int_macros_doctest_3689.rs
core_num_int_macros_doctest_3691.rs
core_num_int_macros_doctest_3693.rs
core_num_uint_macros_doctest_3533.rs
core_num_uint_macros_doctest_3535.rs
core_num_uint_macros_doctest_3536.rs
core_num_uint_macros_doctest_3565.rs
core_num_uint_macros_doctest_3567.rs
core_num_uint_macros_doctest_3568.rs
core_num_uint_macros_doctest_3572.rs
core_num_uint_macros_doctest_3574.rs
core_num_uint_macros_doctest_3575.rs
core_num_uint_macros_doctest_3594.rs
core_num_uint_macros_doctest_3596.rs
core_num_uint_macros_doctest_3597.rs
core_num_uint_macros_doctest_3601.rs
core_num_uint_macros_doctest_3603.rs
core_num_uint_macros_doctest_3604.rs
core_num_uint_macros_doctest_3630.rs
core_num_uint_macros_doctest_3632.rs
core_num_uint_macros_doctest_3633.rs
core_num_uint_macros_doctest_3641.rs
core_num_uint_macros_doctest_3643.rs
core_num_uint_macros_doctest_3644.rs
core_ops_deref_doctest_115.rs
core_ops_deref_doctest_242.rs
core_ops_deref_doctest_342.rs
core_ops_function_doctest_117.rs
core_ops_index_doctest_13.rs
core_option_doctest_1397.rs
core_option_doctest_1439.rs
core_option_doctest_1520.rs
core_pin_doctest_1271.rs
core_pin_doctest_1297.rs
core_pin_doctest_1322.rs
core_pin_doctest_1392.rs
core_pin_doctest_288.rs
core_pin_doctest_566.rs
core_primitive_docs_doctest_209.rs
core_primitive_docs_doctest_704.rs
core_ptr_const_ptr_doctest_1083.rs
core_ptr_const_ptr_doctest_1162.rs
core_ptr_const_ptr_doctest_493.rs
core_ptr_metadata_doctest_93.rs
core_ptr_mod_doctest_2395.rs
core_ptr_mut_ptr_doctest_1003.rs
core_ptr_non_null_doctest_1583.rs
core_result_doctest_1026.rs
core_result_doctest_1052.rs
core_result_doctest_1103.rs
core_result_doctest_1242.rs
core_result_doctest_970.rs
core_slice_mod_doctest_3626.rs
core_slice_mod_doctest_3672.rs
core_slice_mod_doctest_3695.rs
core_slice_mod_doctest_3747.rs
core_slice_mod_doctest_3774.rs
core_slice_mod_doctest_3810.rs
core_slice_mod_doctest_3837.rs
core_slice_mod_doctest_3941.rs
core_slice_mod_doctest_3964.rs
core_slice_mod_doctest_4907.rs
core_slice_mod_doctest_5048.rs
core_slice_mod_doctest_5076.rs
core_slice_mod_doctest_584.rs
core_slice_mod_doctest_667.rs
core_str_converts_doctest_46.rs
core_str_mod_doctest_202.rs
core_str_mod_doctest_2678.rs
core_str_mod_doctest_2694.rs
core_str_mod_doctest_2790.rs
core_str_mod_doctest_2818.rs
core_str_mod_doctest_513.rs
core_str_mod_doctest_617.rs
core_task_ready_doctest_10.rs
core_task_ready_doctest_29.rs
core_task_wake_doctest_608.rs