unsupported: nested references in promoted constants — prusti-20260511-125024-939160592.db

File
alloc_collections_binary_heap_mod_doctest_1067.rs
alloc_collections_binary_heap_mod_doctest_183.rs
alloc_collections_binary_heap_mod_doctest_596.rs
alloc_collections_binary_heap_mod_doctest_656.rs
alloc_collections_btree_set_doctest_1238.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_629.rs
alloc_collections_btree_set_doctest_784.rs
alloc_collections_btree_set_doctest_811.rs
alloc_collections_linked_list_doctest_460.rs
alloc_collections_linked_list_doctest_523.rs
alloc_collections_linked_list_doctest_669.rs
alloc_collections_linked_list_doctest_731.rs
alloc_collections_linked_list_doctest_755.rs
alloc_collections_linked_list_doctest_784.rs
alloc_collections_linked_list_doctest_807.rs
alloc_collections_vec_deque_mod_doctest_1692.rs
alloc_collections_vec_deque_mod_doctest_1713.rs
alloc_collections_vec_deque_mod_doctest_1737.rs
alloc_collections_vec_deque_mod_doctest_1758.rs
alloc_collections_vec_deque_mod_doctest_1885.rs
alloc_collections_vec_deque_mod_doctest_1903.rs
alloc_collections_vec_deque_mod_doctest_1949.rs
alloc_collections_vec_deque_mod_doctest_680.rs
alloc_vec_mod_doctest_770.rs
core_array_mod_doctest_127.rs
core_cell_lazy_doctest_292.rs
core_cell_once_doctest_108.rs
core_cell_once_doctest_219.rs
core_cell_once_doctest_255.rs
core_iter_adapters_peekable_doctest_193.rs
core_iter_adapters_peekable_doctest_237.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_334.rs
core_iter_traits_double_ended_doctest_344.rs
core_iter_traits_iterator_doctest_1006.rs
core_iter_traits_iterator_doctest_1091.rs
core_iter_traits_iterator_doctest_1154.rs
core_iter_traits_iterator_doctest_1624.rs
core_iter_traits_iterator_doctest_3518.rs
core_iter_traits_iterator_doctest_855.rs
core_iter_traits_iterator_doctest_866.rs
core_iter_traits_iterator_doctest_877.rs
core_option_doctest_1422.rs
core_option_doctest_2035.rs
core_option_doctest_2062.rs
core_option_doctest_2731.rs
core_result_doctest_1083.rs
core_slice_iter_doctest_2189.rs
core_slice_mod_doctest_1023.rs
core_slice_mod_doctest_142.rs
core_slice_mod_doctest_268.rs
core_slice_mod_doctest_312.rs
core_slice_mod_doctest_494.rs
core_slice_mod_doctest_558.rs