bug: const ptr offset overflow — prusti-20260227-115713-f74843625.db

File
alloc_collections_binary_heap_mod_doctest_699.rs
alloc_collections_binary_heap_mod_doctest_924.rs
alloc_collections_linked_list_doctest_1153.rs
alloc_collections_vec_deque_mod_doctest_1274.rs
alloc_collections_vec_deque_mod_doctest_2648.rs
alloc_collections_vec_deque_mod_doctest_2691.rs
alloc_collections_vec_deque_mod_doctest_2777.rs
alloc_collections_vec_deque_mod_doctest_2937.rs
alloc_slice_doctest_116.rs
alloc_slice_doctest_174.rs
alloc_slice_doctest_232.rs
alloc_slice_doctest_296.rs
alloc_slice_doctest_567.rs
alloc_slice_doctest_585.rs
alloc_slice_doctest_604.rs
alloc_str_doctest_548.rs
alloc_str_doctest_580.rs
alloc_string_doctest_1543.rs
alloc_string_doctest_3119.rs
alloc_string_doctest_3163.rs
alloc_string_doctest_748.rs
alloc_string_doctest_816.rs
alloc_string_doctest_891.rs
alloc_vec_mod_doctest_212.rs
core_any_doctest_847.rs
core_error_doctest_14.rs
core_fmt_mod_doctest_2204.rs
core_fmt_mod_doctest_2371.rs
core_iter_sources_from_fn_doctest_28.rs
core_iter_traits_iterator_doctest_160.rs
core_iter_traits_iterator_doctest_4012.rs
core_mem_drop_guard_doctest_76.rs
core_net_parser_doctest_409.rs
core_ops_arith_doctest_543.rs
core_ops_range_doctest_176.rs
core_ops_range_doctest_256.rs
core_ops_range_doctest_28.rs
core_ops_range_doctest_332.rs
core_ops_range_doctest_577.rs
core_ops_range_doctest_67.rs
core_option_doctest_2012.rs
core_option_doctest_410.rs
core_range_doctest_6.rs
core_result_doctest_1309.rs
core_result_doctest_1414.rs
core_result_doctest_1665.rs
core_slice_index_doctest_891.rs
core_slice_mod_doctest_1314.rs
core_slice_mod_doctest_1832.rs
core_slice_mod_doctest_1845.rs
core_slice_mod_doctest_2345.rs
core_slice_mod_doctest_3084.rs
core_slice_mod_doctest_3136.rs
core_slice_mod_doctest_3191.rs
core_slice_mod_doctest_3618.rs
core_slice_mod_doctest_3664.rs
core_slice_mod_doctest_4347.rs
core_slice_mod_doctest_4861.rs
core_slice_mod_doctest_4965.rs
core_str_mod_doctest_740.rs