Function creusot_contracts::std::intrinsics::write_via_move

pub const unsafe extern "rust-intrinsic" fn write_via_move<T>(
    ptr: *mut T,
    value: T,
)

🔬This is a nightly-only experimental API. (core_intrinsics)

This is an implementation detail of crate::ptr::write and should not be used anywhere else. See its comments for why this exists.

This intrinsic can only be called where the pointer is a local without projections (write_via_move(ptr, x), not write_via_move(*ptr, x)) so that it trivially obeys runtime-MIR rules about derefs in operands.