unsupported: function shapes containing alias types (pcg) — prusti-20260330-142143-52e9f08d2.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_borrow_doctest_70.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_linked_list_doctest_460.rs
alloc_collections_linked_list_doctest_523.rs
alloc_collections_vec_deque_iter_doctest_33.rs
alloc_collections_vec_deque_iter_mut_doctest_104.rs
alloc_collections_vec_deque_iter_mut_doctest_33.rs
alloc_collections_vec_deque_iter_mut_doctest_70.rs
alloc_collections_vec_deque_mod_doctest_1274.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_ffi_c_str_doctest_169.rs
alloc_rc_doctest_1056.rs
alloc_rc_doctest_1110.rs
alloc_rc_doctest_1146.rs
alloc_rc_doctest_1289.rs
alloc_rc_doctest_1521.rs
alloc_rc_doctest_1766.rs
alloc_rc_doctest_1859.rs
alloc_rc_doctest_1877.rs
alloc_rc_doctest_1957.rs
alloc_rc_doctest_2353.rs
alloc_rc_doctest_2683.rs
alloc_rc_doctest_2702.rs
alloc_rc_doctest_2721.rs
alloc_rc_doctest_2741.rs
alloc_rc_doctest_2760.rs
alloc_rc_doctest_2780.rs
alloc_rc_doctest_2799.rs
alloc_rc_doctest_2852.rs
alloc_rc_doctest_2913.rs
alloc_rc_doctest_2921.rs
alloc_rc_doctest_2937.rs
alloc_rc_doctest_3189.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_slice_doctest_567.rs
alloc_slice_doctest_585.rs
alloc_slice_doctest_604.rs
alloc_string_doctest_1037.rs
alloc_string_doctest_148.rs
alloc_string_doctest_1816.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_3097.rs
alloc_string_doctest_3494.rs
alloc_string_doctest_973.rs
alloc_sync_doctest_1199.rs
alloc_sync_doctest_1255.rs
alloc_sync_doctest_1290.rs
alloc_sync_doctest_1434.rs
alloc_sync_doctest_1672.rs
alloc_sync_doctest_2277.rs
alloc_sync_doctest_2295.rs
alloc_sync_doctest_2393.rs
alloc_sync_doctest_2477.rs
alloc_sync_doctest_2562.rs
alloc_sync_doctest_2916.rs
alloc_sync_doctest_3551.rs
alloc_sync_doctest_3708.rs
alloc_sync_doctest_3727.rs
alloc_sync_doctest_3746.rs
alloc_sync_doctest_3766.rs
alloc_sync_doctest_3785.rs
alloc_sync_doctest_3805.rs
alloc_sync_doctest_3824.rs
alloc_sync_doctest_3877.rs
alloc_sync_doctest_3938.rs
alloc_sync_doctest_3946.rs
alloc_sync_doctest_3962.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_task_doctest_49.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_1873.rs
alloc_vec_mod_doctest_4108.rs
alloc_vec_mod_doctest_4124.rs
alloc_vec_mod_doctest_4291.rs
core_array_mod_doctest_127.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_555.rs
core_array_mod_doctest_728.rs
core_bool_doctest_20.rs
core_bool_doctest_83.rs
core_borrow_doctest_118.rs
core_bstr_mod_doctest_54.rs
core_cell_doctest_1063.rs
core_cell_doctest_1529.rs
core_cell_doctest_1630.rs
core_cell_doctest_1712.rs
core_cell_doctest_1846.rs
core_cell_lazy_doctest_63.rs
core_cell_lazy_doctest_89.rs
core_char_methods_doctest_113.rs
core_char_methods_doctest_135.rs
core_cmp_doctest_1197.rs
core_cmp_doctest_1209.rs
core_cmp_doctest_145.rs
core_cmp_doctest_756.rs
core_cmp_doctest_768.rs
core_convert_mod_doctest_265.rs
core_convert_mod_doctest_318.rs
core_convert_mod_doctest_550.rs
core_convert_mod_doctest_658.rs
core_error_doctest_123.rs
core_error_doctest_14.rs
core_error_doctest_610.rs
core_error_doctest_796.rs
core_ffi_c_str_doctest_471.rs
core_ffi_c_str_doctest_640.rs
core_fmt_builders_doctest_1084.rs
core_fmt_builders_doctest_1122.rs
core_fmt_builders_doctest_1180.rs
core_fmt_builders_doctest_495.rs
core_fmt_builders_doctest_570.rs
core_fmt_builders_doctest_606.rs
core_fmt_builders_doctest_653.rs
core_fmt_builders_doctest_687.rs
core_fmt_builders_doctest_762.rs
core_fmt_builders_doctest_798.rs
core_fmt_builders_doctest_844.rs
core_fmt_builders_doctest_878.rs
core_fmt_mod_doctest_138.rs
core_fmt_mod_doctest_1589.rs
core_fmt_mod_doctest_166.rs
core_fmt_mod_doctest_196.rs
core_fmt_mod_doctest_2509.rs
core_fmt_mod_doctest_2532.rs
core_fmt_mod_doctest_2590.rs
core_hash_mod_doctest_452.rs
core_hint_doctest_703.rs
core_intrinsics_mod_doctest_651.rs
core_intrinsics_mod_doctest_781.rs
core_iter_adapters_array_chunks_doctest_39.rs
core_iter_adapters_chain_doctest_12.rs
core_iter_adapters_chain_doctest_47.rs
core_iter_adapters_peekable_doctest_193.rs
core_iter_adapters_peekable_doctest_237.rs
core_iter_adapters_peekable_doctest_268.rs
core_iter_adapters_peekable_doctest_279.rs
core_iter_adapters_peekable_doctest_303.rs
core_iter_adapters_rev_doctest_28.rs
core_iter_adapters_zip_doctest_43.rs
core_iter_mod_doctest_80.rs
core_iter_sources_repeat_with_doctest_47.rs
core_iter_traits_collect_doctest_181.rs
core_iter_traits_collect_doctest_337.rs
core_iter_traits_double_ended_doctest_167.rs
core_iter_traits_double_ended_doctest_174.rs
core_iter_traits_double_ended_doctest_185.rs
core_iter_traits_double_ended_doctest_334.rs
core_iter_traits_double_ended_doctest_344.rs
core_iter_traits_exact_size_doctest_50.rs
core_iter_traits_iterator_doctest_1006.rs
core_iter_traits_iterator_doctest_1031.rs
core_iter_traits_iterator_doctest_1091.rs
core_iter_traits_iterator_doctest_1154.rs
core_iter_traits_iterator_doctest_1611.rs
core_iter_traits_iterator_doctest_1624.rs
core_iter_traits_iterator_doctest_1638.rs
core_iter_traits_iterator_doctest_1942.rs
core_iter_traits_iterator_doctest_2155.rs
core_iter_traits_iterator_doctest_3518.rs
core_iter_traits_iterator_doctest_393.rs
core_iter_traits_iterator_doctest_445.rs
core_iter_traits_iterator_doctest_524.rs
core_iter_traits_iterator_doctest_557.rs
core_iter_traits_iterator_doctest_574.rs
core_iter_traits_iterator_doctest_744.rs
core_iter_traits_iterator_doctest_855.rs
core_iter_traits_iterator_doctest_86.rs
core_iter_traits_iterator_doctest_866.rs
core_iter_traits_iterator_doctest_877.rs
core_iter_traits_iterator_doctest_98.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_410.rs
core_mem_maybe_uninit_doctest_955.rs
core_mem_mod_doctest_854.rs
core_mem_mod_doctest_928.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_3534.rs
core_num_int_macros_doctest_3536.rs
core_num_int_macros_doctest_3538.rs
core_num_int_macros_doctest_3554.rs
core_num_int_macros_doctest_3556.rs
core_num_int_macros_doctest_3558.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_3486.rs
core_num_uint_macros_doctest_3488.rs
core_num_uint_macros_doctest_3489.rs
core_num_uint_macros_doctest_3506.rs
core_num_uint_macros_doctest_3508.rs
core_num_uint_macros_doctest_3509.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_arith_doctest_129.rs
core_ops_arith_doctest_158.rs
core_ops_arith_doctest_298.rs
core_ops_arith_doctest_374.rs
core_ops_arith_doctest_42.rs
core_ops_arith_doctest_437.rs
core_ops_arith_doctest_543.rs
core_ops_arith_doctest_664.rs
core_ops_bit_doctest_117.rs
core_ops_bit_doctest_199.rs
core_ops_bit_doctest_222.rs
core_ops_bit_doctest_304.rs
core_ops_bit_doctest_327.rs
core_ops_bit_doctest_413.rs
core_ops_bit_doctest_433.rs
core_ops_bit_doctest_536.rs
core_ops_bit_doctest_556.rs
core_ops_bit_doctest_8.rs
core_ops_bit_doctest_94.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_ops_index_doctest_89.rs
core_ops_range_doctest_176.rs
core_ops_range_doctest_256.rs
core_ops_range_doctest_28.rs
core_ops_range_doctest_332.rs
core_ops_range_doctest_577.rs
core_ops_range_doctest_67.rs
core_option_doctest_1373.rs
core_option_doctest_1397.rs
core_option_doctest_1520.rs
core_option_doctest_424.rs
core_option_doctest_818.rs
core_option_doctest_866.rs
core_pin_doctest_1271.rs
core_pin_doctest_1297.rs
core_pin_doctest_1322.rs
core_pin_doctest_1392.rs
core_pin_doctest_1825.rs
core_pin_doctest_288.rs
core_pin_doctest_566.rs
core_primitive_docs_doctest_209.rs
core_primitive_docs_doctest_416.rs
core_primitive_docs_doctest_443.rs
core_primitive_docs_doctest_679.rs
core_primitive_docs_doctest_704.rs
core_primitive_docs_doctest_860.rs
core_primitive_docs_doctest_868.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_ptr_non_null_doctest_1617.rs
core_range_doctest_6.rs
core_result_doctest_1026.rs
core_result_doctest_1052.rs
core_result_doctest_1242.rs
core_result_doctest_970.rs
core_slice_iter_doctest_1145.rs
core_slice_iter_doctest_1189.rs
core_slice_iter_doctest_1317.rs
core_slice_iter_doctest_1471.rs
core_slice_iter_doctest_1844.rs
core_slice_iter_doctest_1880.rs
core_slice_iter_doctest_2189.rs
core_slice_iter_doctest_2314.rs
core_slice_iter_doctest_257.rs
core_slice_iter_doctest_2684.rs
core_slice_iter_doctest_2719.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_1023.rs
core_slice_mod_doctest_1070.rs
core_slice_mod_doctest_1081.rs
core_slice_mod_doctest_1135.rs
core_slice_mod_doctest_1222.rs
core_slice_mod_doctest_1625.rs
core_slice_mod_doctest_1664.rs
core_slice_mod_doctest_1752.rs
core_slice_mod_doctest_1832.rs
core_slice_mod_doctest_1845.rs
core_slice_mod_doctest_1874.rs
core_slice_mod_doctest_1887.rs
core_slice_mod_doctest_2201.rs
core_slice_mod_doctest_2215.rs
core_slice_mod_doctest_2227.rs
core_slice_mod_doctest_2273.rs
core_slice_mod_doctest_2286.rs
core_slice_mod_doctest_2333.rs
core_slice_mod_doctest_2345.rs
core_slice_mod_doctest_2736.rs
core_slice_mod_doctest_2779.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_4669.rs
core_slice_mod_doctest_4744.rs
core_slice_mod_doctest_4806.rs
core_slice_mod_doctest_4861.rs
core_slice_mod_doctest_5048.rs
core_slice_mod_doctest_5076.rs
core_slice_mod_doctest_5207.rs
core_slice_mod_doctest_558.rs
core_slice_mod_doctest_584.rs
core_slice_mod_doctest_624.rs
core_slice_mod_doctest_667.rs
core_str_converts_doctest_46.rs
core_str_lossy_doctest_56.rs
core_str_mod_doctest_1037.rs
core_str_mod_doctest_1091.rs
core_str_mod_doctest_1118.rs
core_str_mod_doctest_1149.rs
core_str_mod_doctest_1161.rs
core_str_mod_doctest_1173.rs
core_str_mod_doctest_1200.rs
core_str_mod_doctest_1213.rs
core_str_mod_doctest_1225.rs
core_str_mod_doctest_1258.rs
core_str_mod_doctest_1273.rs
core_str_mod_doctest_1559.rs
core_str_mod_doctest_1574.rs
core_str_mod_doctest_1583.rs
core_str_mod_doctest_1610.rs
core_str_mod_doctest_202.rs
core_str_mod_doctest_2170.rs
core_str_mod_doctest_2209.rs
core_str_mod_doctest_2249.rs
core_str_mod_doctest_2289.rs
core_str_mod_doctest_2678.rs
core_str_mod_doctest_2686.rs
core_str_mod_doctest_2694.rs
core_str_mod_doctest_2790.rs
core_str_mod_doctest_2818.rs
core_str_mod_doctest_3051.rs
core_str_mod_doctest_504.rs
core_str_mod_doctest_513.rs
core_str_mod_doctest_591.rs
core_str_mod_doctest_617.rs
core_str_mod_doctest_661.rs
core_str_mod_doctest_696.rs
core_str_mod_doctest_858.rs
core_str_pattern_doctest_889.rs
core_str_traits_doctest_146.rs
core_str_traits_doctest_789.rs
core_str_traits_doctest_879.rs
core_task_poll_doctest_109.rs
core_task_poll_doctest_137.rs
core_task_poll_doctest_166.rs
core_task_poll_doctest_196.rs
core_task_ready_doctest_10.rs
core_task_ready_doctest_29.rs