unsupported: invalid uninitialized bytes in constants — prusti-20260320-130143-1336a4b80.db

File
alloc_collections_linked_list_doctest_885.rs
alloc_collections_linked_list_doctest_957.rs
alloc_collections_vec_deque_mod_doctest_1813.rs
alloc_collections_vec_deque_mod_doctest_1988.rs
alloc_collections_vec_deque_mod_doctest_2023.rs
alloc_rc_doctest_951.rs
alloc_sync_doctest_1006.rs
alloc_vec_into_iter_doctest_445.rs
alloc_vec_mod_doctest_1063.rs
alloc_vec_mod_doctest_1183.rs
core_array_iter_doctest_162.rs
core_array_mod_doctest_683.rs
core_bool_doctest_15.rs
core_bool_doctest_42.rs
core_cell_once_doctest_305.rs
core_cell_once_doctest_333.rs
core_cell_once_doctest_78.rs
core_char_methods_doctest_379.rs
core_convert_mod_doctest_156.rs
core_convert_mod_doctest_265.rs
core_fmt_mod_doctest_1687.rs
core_fmt_mod_doctest_1868.rs
core_fmt_mod_doctest_1940.rs
core_fmt_mod_doctest_1973.rs
core_iter_sources_empty_doctest_10.rs
core_iter_sources_repeat_n_doctest_36.rs
core_iter_traits_iterator_doctest_177.rs
core_iter_traits_iterator_doctest_2083.rs
core_iter_traits_iterator_doctest_2378.rs
core_iter_traits_iterator_doctest_2681.rs
core_iter_traits_iterator_doctest_367.rs
core_iter_traits_iterator_doctest_971.rs
core_marker_doctest_131.rs
core_mem_mod_doctest_1116.rs
core_net_ip_addr_doctest_1923.rs
core_net_ip_addr_doctest_1964.rs
core_net_ip_addr_doctest_460.rs
core_num_int_macros_doctest_217.rs
core_num_int_macros_doctest_238.rs
core_num_mod_doctest_1395.rs
core_num_mod_doctest_1440.rs
core_num_uint_macros_doctest_2671.rs
core_num_uint_macros_doctest_269.rs
core_num_uint_macros_doctest_293.rs
core_num_uint_macros_doctest_832.rs
core_ops_control_flow_doctest_282.rs
core_ops_range_doctest_13.rs
core_ops_range_doctest_327.rs
core_ops_range_doctest_368.rs
core_ops_range_doctest_397.rs
core_ops_range_doctest_422.rs
core_ops_range_doctest_482.rs
core_ops_range_doctest_521.rs
core_ops_range_doctest_529.rs
core_ops_range_doctest_720.rs
core_ops_try_trait_doctest_170.rs
core_ops_try_trait_doctest_201.rs
core_ops_try_trait_doctest_321.rs
core_option_doctest_1470.rs
core_option_doctest_1820.rs
core_option_doctest_1904.rs
core_option_doctest_373.rs
core_option_doctest_465.rs
core_option_doctest_482.rs
core_option_doctest_866.rs
core_pin_doctest_407.rs
core_pin_doctest_653.rs
core_primitive_docs_doctest_868.rs
core_result_doctest_1500.rs
core_result_doctest_1687.rs
core_result_doctest_1715.rs
core_result_doctest_1830.rs
core_result_doctest_718.rs
core_slice_index_doctest_904.rs
core_slice_mod_doctest_122.rs
core_slice_mod_doctest_1920.rs
core_slice_mod_doctest_2006.rs
core_slice_mod_doctest_2120.rs
core_slice_mod_doctest_4519.rs
core_slice_mod_doctest_5207.rs
core_slice_raw_doctest_89.rs
core_str_mod_doctest_1068.rs
core_str_mod_doctest_1091.rs
core_str_mod_doctest_1173.rs
core_str_mod_doctest_1225.rs
core_str_mod_doctest_1935.rs
core_str_mod_doctest_1954.rs
core_str_mod_doctest_2686.rs
core_time_doctest_104.rs
core_time_doctest_117.rs
core_time_doctest_130.rs
core_time_doctest_162.rs
core_time_doctest_463.rs
core_time_doctest_660.rs
core_time_doctest_694.rs
core_time_doctest_718.rs
core_time_doctest_751.rs
core_time_doctest_774.rs
core_time_doctest_805.rs
core_time_doctest_829.rs
core_time_doctest_91.rs