Function has_raw_ptr_writes 

fn has_raw_ptr_writes<'tcx>(tcx: TyCtxt<'tcx>, ty: Ty<'tcx>) -> bool

Whether any inherent method of ty writes through a raw pointer.