update mutable field with new value without any synchronization.
The write might be reordered resulting in the new value becoming visible to other thread earlier or later.
This will use the effect `racy mutate.this` such that static analysis of effects will detect and report code that uses racy accesses to mutable variables.
Racy accesses are permitted only for types for which `mutate.this.atomic_access_supported T` is true. This ensures that racy accesses do not yield crippled values such as an `i128` consisting of lower and upper 64 bits that come from different values.
Precondition
pre
safety: open
safety: atomic_access_supported T
The write might be reordered resulting in the new value becoming visible
to other thread earlier or later.
This will use the effect `racy mutate.this` such that static analysis
of effects will detect and report code that uses racy accesses to mutable
variables.
Racy accesses are permitted only for types for which `mutate.this.atomic_access_supported T`
is true. This ensures that racy accesses do not yield crippled values such as an `i128`
consisting of lower and upper 64 bits that come from different values.