racy_write
concur.atomic.racy_write
Precondition
pre safety: (AAA_builtin_atomic_mutate atomic.this).env.atomic_access_supported T
Arguments
0.099dev (GIT hash bf4ead724d7f3fdab43a87b63c17477c916c8995)
pre safety: (AAA_builtin_atomic_mutate atomic.this).env.atomic_access_supported T
Note that in conjunction with `racy_read`, this might create arbitrary
out-of-thin-air values.