diff options
| author | bors <bors@rust-lang.org> | 2024-03-24 15:13:47 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-24 15:13:47 +0000 |
| commit | f97f448d4e5edcf3e348a7413fbf20dc9f786560 (patch) | |
| tree | 12c2560c37a2a5db8e229de8967ef4b0d1da530d /compiler/rustc_pattern_analysis/src/errors.rs | |
| parent | 624af5181343ccad205d288f976f8a9d826365fe (diff) | |
| parent | 805f6eed46be93e250cb608bb75b252432a1dbda (diff) | |
| download | rust-f97f448d4e5edcf3e348a7413fbf20dc9f786560.tar.gz rust-f97f448d4e5edcf3e348a7413fbf20dc9f786560.zip | |
Auto merge of #3406 - RalfJung:many-seeds, r=RalfJung
many-seeds: propagate failure properly This may help explain https://github.com/rust-lang/miri/issues/3405.
Diffstat (limited to 'compiler/rustc_pattern_analysis/src/errors.rs')
0 files changed, 0 insertions, 0 deletions