Function has_raw_ptr_write 

pub fn has_raw_ptr_write(tcx: TyCtxt<'_>, def_id: DefId) -> bool

Detect whether a function writes through a raw pointer (*ptr = ...).

Used by the marker-trait (Send/Sync) checker to decide whether a type’s methods mutate through a raw-pointer field (interior mutation).