Include racy reads in Rust memory model with `MaybeInvalid<T>`
Rust Internals [Unofficial]
June 2, 2026
ProgramCrafter:
> Though I do like the bytewise-atomic memcpy more than this justification. (If only it was defined behavior on hardware specification side...)
Atomic bytewise memcpy (in its most restricted form, that is still sufficient for SeqLocks) does not require mixed-size accesses, so there's no problem from the hardware side.
Discussion in the ATmosphere