not yet implemented: cast kind PtrToPtr

Database: prusti-20260309-120329-3db661888.db

9 file(s) affected

File
alloc_boxed_doctest_1027.rs
alloc_boxed_doctest_1128.rs
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