unsupported: recursive struct types — prusti-20260320-162729-4ee0f8d94.db

File
alloc_collections_btree_map_doctest_1025.rs
alloc_collections_btree_map_doctest_104.rs
alloc_collections_btree_map_doctest_1060.rs
alloc_collections_btree_map_doctest_1092.rs
alloc_collections_btree_map_doctest_1118.rs
alloc_collections_btree_map_doctest_1155.rs
alloc_collections_btree_map_doctest_1180.rs
alloc_collections_btree_map_doctest_122.rs
alloc_collections_btree_map_doctest_1246.rs
alloc_collections_btree_map_doctest_1287.rs
alloc_collections_btree_map_doctest_1317.rs
alloc_collections_btree_map_doctest_1368.rs
alloc_collections_btree_map_doctest_1435.rs
alloc_collections_btree_map_doctest_1500.rs
alloc_collections_btree_map_doctest_1522.rs
alloc_collections_btree_map_doctest_1874.rs
alloc_collections_btree_map_doctest_1929.rs
alloc_collections_btree_map_doctest_2099.rs
alloc_collections_btree_map_doctest_2113.rs
alloc_collections_btree_map_doctest_2161.rs
alloc_collections_btree_map_doctest_2226.rs
alloc_collections_btree_map_doctest_2277.rs
alloc_collections_btree_map_doctest_2466.rs
alloc_collections_btree_map_doctest_2489.rs
alloc_collections_btree_map_doctest_2519.rs
alloc_collections_btree_map_doctest_2550.rs
alloc_collections_btree_map_doctest_2569.rs
alloc_collections_btree_map_doctest_2588.rs
alloc_collections_btree_map_doctest_2612.rs
alloc_collections_btree_map_doctest_2636.rs
alloc_collections_btree_map_doctest_2669.rs
alloc_collections_btree_map_doctest_2722.rs
alloc_collections_btree_map_doctest_2792.rs
alloc_collections_btree_map_doctest_2845.rs
alloc_collections_btree_map_doctest_385.rs
alloc_collections_btree_map_doctest_423.rs
alloc_collections_btree_map_doctest_474.rs
alloc_collections_btree_map_doctest_62.rs
alloc_collections_btree_map_doctest_632.rs
alloc_collections_btree_map_doctest_654.rs
alloc_collections_btree_map_doctest_677.rs
alloc_collections_btree_map_doctest_702.rs
alloc_collections_btree_map_doctest_734.rs
alloc_collections_btree_map_doctest_794.rs
alloc_collections_btree_map_doctest_817.rs
alloc_collections_btree_map_doctest_854.rs
alloc_collections_btree_map_doctest_878.rs
alloc_collections_btree_map_doctest_900.rs
alloc_collections_btree_map_doctest_937.rs
alloc_collections_btree_map_doctest_963.rs
alloc_collections_btree_map_doctest_988.rs
alloc_collections_btree_map_entry_doctest_147.rs
alloc_collections_btree_map_entry_doctest_168.rs
alloc_collections_btree_map_entry_doctest_196.rs
alloc_collections_btree_map_entry_doctest_221.rs
alloc_collections_btree_map_entry_doctest_240.rs
alloc_collections_btree_map_entry_doctest_273.rs
alloc_collections_btree_map_entry_doctest_302.rs
alloc_collections_btree_map_entry_doctest_324.rs
alloc_collections_btree_map_entry_doctest_339.rs
alloc_collections_btree_map_entry_doctest_359.rs
alloc_collections_btree_map_entry_doctest_381.rs
alloc_collections_btree_map_entry_doctest_435.rs
alloc_collections_btree_map_entry_doctest_457.rs
alloc_collections_btree_map_entry_doctest_481.rs
alloc_collections_btree_map_entry_doctest_507.rs
alloc_collections_btree_map_entry_doctest_537.rs
alloc_collections_btree_map_entry_doctest_561.rs
alloc_collections_btree_map_entry_doctest_583.rs
alloc_collections_btree_set_doctest_1048.rs
alloc_collections_btree_set_doctest_1075.rs
alloc_collections_btree_set_doctest_1098.rs
alloc_collections_btree_set_doctest_1119.rs
alloc_collections_btree_set_doctest_1159.rs
alloc_collections_btree_set_doctest_1204.rs
alloc_collections_btree_set_doctest_1238.rs
alloc_collections_btree_set_doctest_1258.rs
alloc_collections_btree_set_doctest_1282.rs
alloc_collections_btree_set_doctest_1315.rs
alloc_collections_btree_set_doctest_1358.rs
alloc_collections_btree_set_doctest_1401.rs
alloc_collections_btree_set_doctest_1444.rs
alloc_collections_btree_set_doctest_1506.rs
alloc_collections_btree_set_doctest_1533.rs
alloc_collections_btree_set_doctest_1657.rs
alloc_collections_btree_set_doctest_1682.rs
alloc_collections_btree_set_doctest_1707.rs
alloc_collections_btree_set_doctest_1732.rs
alloc_collections_btree_set_doctest_1825.rs
alloc_collections_btree_set_doctest_1858.rs
alloc_collections_btree_set_doctest_1916.rs
alloc_collections_btree_set_doctest_335.rs
alloc_collections_btree_set_doctest_354.rs
alloc_collections_btree_set_doctest_382.rs
alloc_collections_btree_set_doctest_41.rs
alloc_collections_btree_set_doctest_411.rs
alloc_collections_btree_set_doctest_472.rs
alloc_collections_btree_set_doctest_503.rs
alloc_collections_btree_set_doctest_556.rs
alloc_collections_btree_set_doctest_580.rs
alloc_collections_btree_set_doctest_604.rs
alloc_collections_btree_set_doctest_629.rs
alloc_collections_btree_set_doctest_650.rs
alloc_collections_btree_set_doctest_676.rs
alloc_collections_btree_set_doctest_71.rs
alloc_collections_btree_set_doctest_753.rs
alloc_collections_btree_set_doctest_784.rs
alloc_collections_btree_set_doctest_811.rs
alloc_collections_btree_set_doctest_836.rs
alloc_collections_btree_set_doctest_860.rs
alloc_collections_btree_set_doctest_894.rs
alloc_collections_btree_set_doctest_917.rs
alloc_collections_btree_set_doctest_941.rs
alloc_collections_btree_set_doctest_966.rs
alloc_collections_btree_set_doctest_996.rs
alloc_collections_btree_set_entry_doctest_101.rs
alloc_collections_btree_set_entry_doctest_153.rs
alloc_collections_btree_set_entry_doctest_17.rs
alloc_collections_btree_set_entry_doctest_195.rs
alloc_collections_btree_set_entry_doctest_218.rs
alloc_collections_btree_set_entry_doctest_246.rs
alloc_collections_btree_set_entry_doctest_274.rs
alloc_collections_btree_set_entry_doctest_297.rs
alloc_collections_btree_set_entry_doctest_325.rs
alloc_collections_btree_set_entry_doctest_343.rs
alloc_collections_btree_set_entry_doctest_365.rs
alloc_collections_btree_set_entry_doctest_51.rs
alloc_collections_btree_set_entry_doctest_70.rs
alloc_rc_doctest_159.rs
alloc_rc_doctest_3707.rs
alloc_rc_doctest_443.rs
alloc_sync_doctest_1079.rs
alloc_sync_doctest_4142.rs
alloc_sync_doctest_442.rs
core_iter_adapters_chain_doctest_311.rs
core_iter_traits_iterator_doctest_795.rs
core_ops_range_doctest_653.rs
core_option_doctest_341.rs