not yet implemented: cast kind PtrToPtr

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.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