Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3137 - RalfJung:data-race, r=oli-obk
Detect mixed-size and mixed-atomicity non-synchronized accesses
Fixes https://github.com/rust-lang/miri/issues/2303
