bug: lifetime-annotated structs — prusti-20260309-175527-9eba9fcdc.db

File
alloc_boxed_doctest_939.rs
alloc_collections_binary_heap_mod_doctest_1026.rs
alloc_collections_binary_heap_mod_doctest_1388.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_string_doctest_148.rs
alloc_string_doctest_1629.rs
alloc_string_doctest_1840.rs
alloc_string_doctest_3430.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_hint_doctest_328.rs
core_hint_doctest_356.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_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_86.rs
core_iter_traits_iterator_doctest_916.rs
core_iter_traits_iterator_doctest_928.rs
core_iter_traits_iterator_doctest_98.rs
core_marker_doctest_743.rs
core_mem_mod_doctest_928.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_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_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_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_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