Function creusot_contracts::std::intrinsics::atomic_cxchg_acquire_seqcst

pub unsafe extern "rust-intrinsic" fn atomic_cxchg_acquire_seqcst<T>(
    dst: *mut T,
    old: T,
    src: T,
) -> (T, bool)
where
    T: Copy,

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

Stores a value if the current value is the same as the old value.

The stabilized version of this intrinsic is available on the atomic types via the compare_exchange method by passing Ordering::Acquire and Ordering::SeqCst as the success and failure parameters. For example, AtomicBool::compare_exchange.