diff options
| author | bors <bors@rust-lang.org> | 2023-11-04 13:59:54 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-11-04 13:59:54 +0000 |
| commit | 2ef639d4fbf89dc584bfa1a2211b56123df4aa5f (patch) | |
| tree | a6e5e2a2b340c5a2cc0b5535cb8a2afb8ac15226 /compiler/rustc_incremental/src/errors.rs | |
| parent | 1b2e4a9c9412c77ba7ed95e38b1eb6d6582a5517 (diff) | |
| parent | 278965a0c4964bf53c386c64306e857f4bfb3888 (diff) | |
| download | rust-2ef639d4fbf89dc584bfa1a2211b56123df4aa5f.tar.gz rust-2ef639d4fbf89dc584bfa1a2211b56123df4aa5f.zip | |
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
Diffstat (limited to 'compiler/rustc_incremental/src/errors.rs')
0 files changed, 0 insertions, 0 deletions