unsupported: implicit mut-to-const pointer coercions
Database:
prusti-20260330-142143-52e9f08d2.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