not yet implemented: cast kind PtrToPtr
Database:
prusti-20260428-154632-6e19cc770.db
7 file(s) affected
File
alloc_vec_mod_doctest_1235.rs
core_primitive_docs_doctest_589.rs
core_ptr_mod_doctest_1269.rs
core_ptr_mod_doctest_1769.rs
core_ptr_mod_doctest_1971.rs
core_ptr_non_null_doctest_1268.rs
core_sync_atomic_doctest_2241.rs