unsupported: constant pointer-to-pointers — prusti-20260309-112628-c8b922649.db

File
alloc_collections_binary_heap_mod_doctest_656.rs
alloc_collections_linked_list_doctest_669.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_fmt_doctest_14.rs
alloc_fmt_doctest_177.rs
alloc_fmt_doctest_332.rs
alloc_fmt_doctest_528.rs
alloc_fmt_doctest_53.rs
alloc_fmt_doctest_623.rs
alloc_fmt_doctest_633.rs
alloc_fmt_doctest_81.rs
alloc_macros_doctest_93.rs
alloc_rc_doctest_2290.rs
alloc_rc_doctest_3465.rs
alloc_sync_doctest_2620.rs
alloc_sync_doctest_3279.rs
alloc_vec_mod_doctest_770.rs
core_cell_once_doctest_108.rs
core_cell_once_doctest_255.rs
core_char_methods_doctest_1061.rs
core_char_methods_doctest_1128.rs
core_char_methods_doctest_451.rs
core_char_methods_doctest_516.rs
core_char_methods_doctest_572.rs
core_convert_mod_doctest_65.rs
core_error_doctest_796.rs
core_fmt_mod_doctest_1439.rs
core_hint_doctest_619.rs
core_hint_doctest_669.rs
core_iter_traits_iterator_doctest_1006.rs
core_macros_mod_doctest_1551.rs
core_macros_mod_doctest_270.rs
core_macros_mod_doctest_682.rs
core_macros_mod_doctest_696.rs
core_macros_mod_doctest_759.rs
core_macros_mod_doctest_840.rs
core_macros_mod_doctest_87.rs
core_macros_mod_doctest_972.rs
core_net_ip_addr_doctest_189.rs
core_ops_arith_doctest_239.rs
core_ops_arith_doctest_374.rs
core_ops_control_flow_doctest_144.rs
core_ops_control_flow_doctest_160.rs
core_ops_control_flow_doctest_177.rs
core_ops_drop_doctest_28.rs
core_ops_drop_doctest_95.rs
core_option_doctest_1320.rs
core_option_doctest_1346.rs
core_option_doctest_1373.rs
core_option_doctest_2035.rs
core_option_doctest_2062.rs
core_option_doctest_22.rs
core_option_doctest_57.rs
core_primitive_docs_doctest_34.rs
core_result_doctest_1817.rs
core_result_doctest_750.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
core_str_mod_doctest_2407.rs
core_str_mod_doctest_2435.rs
core_str_mod_doctest_2935.rs
core_str_mod_doctest_2981.rs
core_str_mod_doctest_3019.rs
core_str_mod_doctest_591.rs