diff options
| author | bors <bors@rust-lang.org> | 2024-03-03 12:38:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-03 12:38:10 +0000 |
| commit | f51f9236f9e708dded92bb40b929f0da7eb93357 (patch) | |
| tree | adfda8d58db5a7fc03cbc76cf901003169a93e62 /compiler/rustc_interface/src/errors.rs | |
| parent | 639fab7f9a253a7177cb9dd6fa9c89c92757132b (diff) | |
| parent | 983c2c59c951eaefba46adfd289a17bd109f601e (diff) | |
| download | rust-f51f9236f9e708dded92bb40b929f0da7eb93357.tar.gz rust-f51f9236f9e708dded92bb40b929f0da7eb93357.zip | |
Auto merge of #3348 - RalfJung:miri-thread-logging, r=RalfJung
log when we change the active thread, and fix logging for concurrency Also avoid relying on the incorrect scope exit logging produced by tracing (Cc https://github.com/rust-lang/miri/issues/2266)
Diffstat (limited to 'compiler/rustc_interface/src/errors.rs')
0 files changed, 0 insertions, 0 deletions