unsupported: implicit mut-to-const pointer coercions
Database:
prusti-20260410-212618-bd3a77aef.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