Skip to main content

is_mem_copy_or_write_api

Function is_mem_copy_or_write_api 

Source
pub fn is_mem_copy_or_write_api(name: &str) -> bool
Expand 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.