Function is_ptr_read

src/interest/memory/ownership.rs:40–42

(def_id: DefId, tcx: TyCtxt<'_>)

/// y = std::ptr::read::<T>(x)
#[inline]
pub fn is_ptr_read(def_id: DefId, tcx: TyCtxt<'_>) -> bool {
    tcx.def_path_str(def_id).starts_with("std::ptr::read::<")
}

/// z = <_ as Index<_>>::index(x, y)
#[inline]