unsupported (pcg): dereferencing unsafe pointers — prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

Database: prusti-fix-revar-from-outer-inferctxt-in-try-normalize-20260514-092649-0ca6d84a4.db

File
alloc_rc_doctest_1332.rs
alloc_rc_doctest_1442.rs
alloc_rc_doctest_3151.rs
alloc_rc_doctest_3189.rs
alloc_rc_doctest_3235.rs
alloc_sync_doctest_1477.rs
alloc_sync_doctest_1592.rs
alloc_sync_doctest_2562.rs
alloc_sync_doctest_2878.rs
alloc_sync_doctest_2916.rs
alloc_sync_doctest_2962.rs
alloc_vec_mod_doctest_1795.rs
core_cell_doctest_2109.rs
core_cell_doctest_2121.rs
core_cell_doctest_2138.rs
core_hint_doctest_149.rs
core_intrinsics_mod_doctest_692.rs
core_intrinsics_mod_doctest_704.rs
core_intrinsics_mod_doctest_781.rs
core_marker_doctest_1293.rs
core_mem_maybe_uninit_doctest_163.rs
core_mem_maybe_uninit_doctest_808.rs
core_mem_mod_doctest_1154.rs
core_ptr_const_ptr_doctest_1083.rs
core_ptr_const_ptr_doctest_1162.rs
core_ptr_const_ptr_doctest_1328.rs
core_ptr_const_ptr_doctest_293.rs
core_ptr_const_ptr_doctest_427.rs
core_ptr_const_ptr_doctest_493.rs
core_ptr_const_ptr_doctest_550.rs
core_ptr_const_ptr_doctest_910.rs
core_ptr_const_ptr_doctest_973.rs
core_ptr_mod_doctest_1144.rs
core_ptr_mod_doctest_1186.rs
core_ptr_mod_doctest_2696.rs
core_ptr_mod_doctest_295.rs
core_ptr_mut_ptr_doctest_1003.rs
core_ptr_mut_ptr_doctest_1066.rs
core_ptr_mut_ptr_doctest_1176.rs
core_ptr_mut_ptr_doctest_1252.rs
core_ptr_mut_ptr_doctest_1580.rs
core_ptr_mut_ptr_doctest_2026.rs
core_ptr_mut_ptr_doctest_284.rs
core_ptr_mut_ptr_doctest_425.rs
core_ptr_mut_ptr_doctest_493.rs
core_ptr_mut_ptr_doctest_547.rs
core_ptr_mut_ptr_doctest_618.rs
core_ptr_non_null_doctest_383.rs
core_slice_mod_doctest_706.rs
core_slice_mod_doctest_738.rs
core_sync_atomic_doctest_1494.rs
core_sync_atomic_doctest_1544.rs
core_sync_atomic_doctest_1563.rs
core_sync_atomic_doctest_1669.rs
core_sync_atomic_doctest_2658.rs
core_sync_atomic_doctest_4408.rs
core_sync_atomic_doctest_536.rs