bug: lifetime-annotated structs — prusti-20260306-164218-cd5e443f3.db

File
alloc_boxed_convert_doctest_121.rs
alloc_boxed_convert_doctest_163.rs
alloc_boxed_convert_doctest_207.rs
alloc_boxed_convert_doctest_215.rs
alloc_boxed_convert_doctest_264.rs
alloc_boxed_doctest_26.rs
alloc_boxed_doctest_939.rs
alloc_collections_binary_heap_mod_doctest_1026.rs
alloc_collections_binary_heap_mod_doctest_1311.rs
alloc_collections_binary_heap_mod_doctest_1388.rs
alloc_collections_binary_heap_mod_doctest_1916.rs
alloc_collections_binary_heap_mod_doctest_963.rs
alloc_collections_linked_list_doctest_1105.rs
alloc_collections_linked_list_doctest_1921.rs
alloc_collections_linked_list_doctest_460.rs
alloc_collections_linked_list_doctest_523.rs
alloc_collections_linked_list_doctest_548.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_1296.rs
alloc_collections_vec_deque_mod_doctest_1494.rs
alloc_collections_vec_deque_mod_doctest_1530.rs
alloc_collections_vec_deque_mod_doctest_1582.rs
alloc_collections_vec_deque_mod_doctest_2319.rs
alloc_collections_vec_deque_mod_doctest_2923.rs
alloc_fmt_doctest_116.rs
alloc_fmt_doctest_183.rs
alloc_fmt_doctest_252.rs
alloc_fmt_doctest_281.rs
alloc_fmt_doctest_299.rs
alloc_fmt_doctest_322.rs
alloc_fmt_doctest_485.rs
alloc_fmt_doctest_91.rs
alloc_rc_doctest_91.rs
alloc_string_doctest_148.rs
alloc_string_doctest_1629.rs
alloc_string_doctest_1840.rs
alloc_string_doctest_298.rs
alloc_string_doctest_3206.rs
alloc_string_doctest_324.rs
alloc_string_doctest_3430.rs
alloc_vec_mod_doctest_227.rs
core_array_mod_doctest_90.rs
core_cell_doctest_1006.rs
core_cell_doctest_1063.rs
core_cell_doctest_1104.rs
core_cell_doctest_1209.rs
core_cell_doctest_1239.rs
core_cell_doctest_1529.rs
core_cell_doctest_1630.rs
core_cell_doctest_1666.rs
core_cell_doctest_1712.rs
core_cell_doctest_1846.rs
core_cell_doctest_1885.rs
core_cell_doctest_966.rs
core_char_methods_doctest_1046.rs
core_char_methods_doctest_1055.rs
core_char_methods_doctest_1113.rs
core_char_methods_doctest_1122.rs
core_char_methods_doctest_436.rs
core_char_methods_doctest_445.rs
core_char_methods_doctest_501.rs
core_char_methods_doctest_510.rs
core_char_methods_doctest_557.rs
core_char_methods_doctest_566.rs
core_error_doctest_123.rs
core_fmt_builders_doctest_107.rs
core_fmt_builders_doctest_1218.rs
core_fmt_builders_doctest_220.rs
core_fmt_builders_doctest_267.rs
core_fmt_builders_doctest_309.rs
core_fmt_builders_doctest_368.rs
core_fmt_builders_doctest_410.rs
core_fmt_builders_doctest_62.rs
core_fmt_mod_doctest_1051.rs
core_fmt_mod_doctest_1062.rs
core_fmt_mod_doctest_1105.rs
core_fmt_mod_doctest_1116.rs
core_fmt_mod_doctest_1165.rs
core_fmt_mod_doctest_1176.rs
core_fmt_mod_doctest_1220.rs
core_fmt_mod_doctest_1231.rs
core_fmt_mod_doctest_1278.rs
core_fmt_mod_doctest_1286.rs
core_fmt_mod_doctest_1328.rs
core_fmt_mod_doctest_1336.rs
core_fmt_mod_doctest_1379.rs
core_fmt_mod_doctest_1387.rs
core_fmt_mod_doctest_1589.rs
core_fmt_mod_doctest_196.rs
core_fmt_mod_doctest_49.rs
core_fmt_mod_doctest_606.rs
core_fmt_mod_doctest_771.rs
core_fmt_mod_doctest_788.rs
core_fmt_mod_doctest_842.rs
core_fmt_mod_doctest_912.rs
core_fmt_mod_doctest_971.rs
core_hash_mod_doctest_191.rs
core_hash_mod_doctest_220.rs
core_hash_mod_doctest_341.rs
core_hint_doctest_328.rs
core_hint_doctest_356.rs
core_hint_doctest_487.rs
core_hint_doctest_551.rs
core_intrinsics_mod_doctest_631.rs
core_iter_adapters_chain_doctest_12.rs
core_iter_adapters_enumerate_doctest_36.rs
core_iter_adapters_peekable_doctest_193.rs
core_iter_adapters_rev_doctest_28.rs
core_iter_mod_doctest_329.rs
core_iter_traits_collect_doctest_475.rs
core_iter_traits_collect_doctest_643.rs
core_iter_traits_double_ended_doctest_120.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_205.rs
core_iter_traits_double_ended_doctest_215.rs
core_iter_traits_double_ended_doctest_273.rs
core_iter_traits_double_ended_doctest_287.rs
core_iter_traits_double_ended_doctest_334.rs
core_iter_traits_double_ended_doctest_344.rs
core_iter_traits_iterator_doctest_1461.rs
core_iter_traits_iterator_doctest_149.rs
core_iter_traits_iterator_doctest_1499.rs
core_iter_traits_iterator_doctest_1513.rs
core_iter_traits_iterator_doctest_1571.rs
core_iter_traits_iterator_doctest_1624.rs
core_iter_traits_iterator_doctest_1796.rs
core_iter_traits_iterator_doctest_1927.rs
core_iter_traits_iterator_doctest_1942.rs
core_iter_traits_iterator_doctest_1956.rs
core_iter_traits_iterator_doctest_1967.rs
core_iter_traits_iterator_doctest_212.rs
core_iter_traits_iterator_doctest_2140.rs
core_iter_traits_iterator_doctest_2155.rs
core_iter_traits_iterator_doctest_2254.rs
core_iter_traits_iterator_doctest_2317.rs
core_iter_traits_iterator_doctest_2533.rs
core_iter_traits_iterator_doctest_2557.rs
core_iter_traits_iterator_doctest_2898.rs
core_iter_traits_iterator_doctest_3404.rs
core_iter_traits_iterator_doctest_3440.rs
core_iter_traits_iterator_doctest_3518.rs
core_iter_traits_iterator_doctest_3528.rs
core_iter_traits_iterator_doctest_3564.rs
core_iter_traits_iterator_doctest_3725.rs
core_iter_traits_iterator_doctest_3794.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_744.rs
core_iter_traits_iterator_doctest_757.rs
core_iter_traits_iterator_doctest_86.rs
core_iter_traits_iterator_doctest_916.rs
core_iter_traits_iterator_doctest_928.rs
core_iter_traits_iterator_doctest_98.rs
core_macros_mod_doctest_1041.rs
core_macros_mod_doctest_1088.rs
core_macros_mod_doctest_1164.rs
core_macros_mod_doctest_1191.rs
core_macros_mod_doctest_1241.rs
core_macros_mod_doctest_31.rs
core_macros_mod_doctest_953.rs
core_marker_doctest_299.rs
core_marker_doctest_743.rs
core_mem_mod_doctest_928.rs
core_mem_mod_doctest_944.rs
core_num_dec2flt_mod_doctest_202.rs
core_num_error_doctest_58.rs
core_num_error_doctest_73.rs
core_ops_arith_doctest_1010.rs
core_ops_function_doctest_204.rs
core_ops_mod_doctest_115.rs
core_option_doctest_1422.rs
core_option_doctest_1439.rs
core_option_doctest_2305.rs
core_option_doctest_424.rs
core_option_doctest_526.rs
core_option_doctest_636.rs
core_option_doctest_685.rs
core_option_doctest_727.rs
core_pin_doctest_1470.rs
core_primitive_docs_doctest_416.rs
core_primitive_docs_doctest_443.rs
core_primitive_docs_doctest_763.rs
core_primitive_docs_doctest_792.rs
core_ptr_mut_ptr_doctest_268.rs
core_ptr_mut_ptr_doctest_317.rs
core_ptr_mut_ptr_doctest_359.rs
core_ptr_non_null_doctest_425.rs
core_ptr_non_null_doctest_559.rs
core_ptr_non_null_doctest_635.rs
core_ptr_non_null_doctest_712.rs
core_result_doctest_1083.rs
core_result_doctest_1103.rs
core_result_doctest_1338.rs
core_result_doctest_1375.rs
core_result_doctest_593.rs
core_result_doctest_810.rs
core_slice_iter_doctest_1022.rs
core_slice_iter_doctest_1145.rs
core_slice_iter_doctest_1189.rs
core_slice_iter_doctest_1232.rs
core_slice_iter_doctest_1273.rs
core_slice_iter_doctest_1317.rs
core_slice_iter_doctest_1471.rs
core_slice_iter_doctest_1656.rs
core_slice_iter_doctest_176.rs
core_slice_iter_doctest_1844.rs
core_slice_iter_doctest_1880.rs
core_slice_iter_doctest_2020.rs
core_slice_iter_doctest_2189.rs
core_slice_iter_doctest_2314.rs
core_slice_iter_doctest_2491.rs
core_slice_iter_doctest_257.rs
core_slice_iter_doctest_2684.rs
core_slice_iter_doctest_2719.rs
core_slice_iter_doctest_2864.rs
core_slice_iter_doctest_289.rs
core_slice_iter_doctest_323.rs
core_slice_iter_doctest_389.rs
core_slice_iter_doctest_420.rs
core_slice_iter_doctest_545.rs
core_slice_iter_doctest_669.rs
core_slice_iter_doctest_798.rs
core_slice_iter_doctest_922.rs
core_slice_mod_doctest_1046.rs
core_slice_mod_doctest_1070.rs
core_slice_mod_doctest_1081.rs
core_slice_mod_doctest_1096.rs
core_slice_mod_doctest_1135.rs
core_slice_mod_doctest_1175.rs
core_slice_mod_doctest_1222.rs
core_slice_mod_doctest_1266.rs
core_slice_mod_doctest_1625.rs
core_slice_mod_doctest_1664.rs
core_slice_mod_doctest_1704.rs
core_slice_mod_doctest_1752.rs
core_slice_mod_doctest_1797.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_2250.rs
core_slice_mod_doctest_2273.rs
core_slice_mod_doctest_2286.rs
core_slice_mod_doctest_2309.rs
core_slice_mod_doctest_2333.rs
core_slice_mod_doctest_2369.rs
core_slice_mod_doctest_2401.rs
core_slice_mod_doctest_2426.rs
core_slice_mod_doctest_2456.rs
core_slice_mod_doctest_2482.rs
core_slice_mod_doctest_2575.rs
core_slice_mod_doctest_2847.rs
core_slice_mod_doctest_4382.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_146.rs
core_str_iter_doctest_1465.rs
core_str_iter_doctest_250.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_lossy_doctest_165.rs
core_str_lossy_doctest_18.rs
core_str_mod_doctest_1014.rs
core_str_mod_doctest_1037.rs
core_str_mod_doctest_1068.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_128.rs
core_str_mod_doctest_1304.rs
core_str_mod_doctest_1566.rs
core_str_mod_doctest_1574.rs
core_str_mod_doctest_1583.rs
core_str_mod_doctest_1593.rs
core_str_mod_doctest_1602.rs
core_str_mod_doctest_1610.rs
core_str_mod_doctest_1652.rs
core_str_mod_doctest_1662.rs
core_str_mod_doctest_1702.rs
core_str_mod_doctest_1718.rs
core_str_mod_doctest_1761.rs
core_str_mod_doctest_1807.rs
core_str_mod_doctest_1852.rs
core_str_mod_doctest_1868.rs
core_str_mod_doctest_1904.rs
core_str_mod_doctest_1917.rs
core_str_mod_doctest_2067.rs
core_str_mod_doctest_2107.rs
core_str_mod_doctest_2919.rs
core_str_mod_doctest_2928.rs
core_str_mod_doctest_2941.rs
core_str_mod_doctest_2965.rs
core_str_mod_doctest_2974.rs
core_str_mod_doctest_2987.rs
core_str_mod_doctest_3003.rs
core_str_mod_doctest_3012.rs
core_str_mod_doctest_3025.rs
core_str_mod_doctest_3051.rs
core_sync_atomic_doctest_2525.rs
core_time_doctest_1471.rs