success

Database: prusti-fix-missing-substitution-in-apply-wands-20260515-162448-aaf0046ee.db

16 file(s) affected

File
alloc_boxed_doctest_637.rs
alloc_boxed_doctest_772.rs
alloc_boxed_doctest_980.rs
alloc_rc_doctest_1110.rs
alloc_string_doctest_164.rs
alloc_sync_doctest_1255.rs
alloc_vec_mod_doctest_3076.rs
core_char_methods_doctest_19.rs
core_char_methods_doctest_50.rs
core_convert_mod_doctest_678.rs
core_mem_maybe_uninit_doctest_981.rs
core_ops_arith_doctest_1010.rs
core_ops_arith_doctest_239.rs
core_ops_arith_doctest_374.rs
core_option_doctest_876.rs
core_ptr_non_null_doctest_1399.rs