unsupported: constant pointer-to-pointers — prusti-20260323-125921-08b08c532.db

File
alloc_boxed_convert_doctest_529.rs
alloc_boxed_convert_doctest_562.rs
alloc_fmt_doctest_14.rs
alloc_fmt_doctest_177.rs
alloc_fmt_doctest_332.rs
alloc_fmt_doctest_396.rs
alloc_fmt_doctest_515.rs
alloc_fmt_doctest_528.rs
alloc_fmt_doctest_53.rs
alloc_fmt_doctest_547.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
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_fmt_mod_doctest_1439.rs
core_fmt_mod_doctest_694.rs
core_hint_doctest_619.rs
core_hint_doctest_669.rs
core_macros_mod_doctest_1551.rs
core_macros_mod_doctest_270.rs
core_macros_mod_doctest_540.rs
core_macros_mod_doctest_628.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_972.rs
core_mem_maybe_uninit_doctest_448.rs
core_net_ip_addr_doctest_189.rs
core_ops_arith_doctest_239.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_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_slice_mod_doctest_142.rs
core_slice_mod_doctest_268.rs
core_slice_mod_doctest_312.rs
core_slice_mod_doctest_494.rs
core_str_mod_doctest_2935.rs
core_str_mod_doctest_2981.rs
core_str_mod_doctest_3019.rs