Function creusot_contracts::std::intrinsics::atomic_cxchgweak_acquire_acquire

pub unsafe extern "rust-intrinsic" fn atomic_cxchgweak_acquire_acquire<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_weak method by passing Ordering::Acquire as both the success and failure parameters. For example, AtomicBool::compare_exchange_weak.