unsupported: implicit mut-to-const pointer coercions

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

5 file(s) affected

File
core_ptr_mod_doctest_1827.rs
core_ptr_mod_doctest_2140.rs
core_ptr_mut_ptr_doctest_807.rs
core_ptr_mut_ptr_doctest_881.rs
core_ptr_mut_ptr_doctest_909.rs