pub fn is_mem_copy_or_write_api(name: &str) -> boolExpand description
Memory copy/write intrinsics that legitimately write through a raw pointer
without requiring the target bytes to be pre-initialized (e.g. ptr::write,
write_bytes, copy_nonoverlapping, ptr::copy). Used by the checker to
discharge Init/Typed obligations on MaybeUninit targets.