Unnamed repository; edit this file 'description' to name the repository.
Auto merge of #3145 - RalfJung:data-race-error, r=RalfJung
give some more help for the unusual data races
Fixes https://github.com/rust-lang/miri/issues/3142
