unsupported: implicit mut-to-const pointer coercions
Database:
prusti-20260428-154632-6e19cc770.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