Function creusot_contracts::std::intrinsics::read_via_copy

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

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

This is an implementation detail of crate::ptr::read 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 (read_via_copy(ptr), not read_via_copy(*ptr)) so that it trivially obeys runtime-MIR rules about derefs in operands.