diff options
| author | bors <bors@rust-lang.org> | 2022-07-20 02:12:09 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-07-20 02:12:09 +0000 |
| commit | ebda1deb7bbe962638f500fc772d8d005cfed01c (patch) | |
| tree | 643cc2bacd4bb4a856ba6dd94a62d6ef5fb6af2a /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff | |
| parent | ddde70c1217740101ab09b32ab3d545555d8d820 (diff) | |
| parent | 5fbf036670592d79eae81c4617141502b53a09a8 (diff) | |
| download | rust-ebda1deb7bbe962638f500fc772d8d005cfed01c.tar.gz rust-ebda1deb7bbe962638f500fc772d8d005cfed01c.zip | |
Auto merge of #2397 - RalfJung:cleanup, r=RalfJung
only do env var cleanup if all threads have stopped Hopefully fixes https://github.com/rust-lang/miri/issues/2396
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions