diff options
| author | bors <bors@rust-lang.org> | 2022-07-19 12:29:29 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2022-07-19 12:29:29 +0000 |
| commit | 8757d866aba7f89ed0db5ae9f0b52be4715348d3 (patch) | |
| tree | 2d701036e71324d51222e24c7c6e6139c472f07f /tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff | |
| parent | 9edbf3676b056e6cd4b887163703d454d5c3e8c3 (diff) | |
| parent | 49a6c230cb6ebfbafa282d59d119500c4064215e (diff) | |
| download | rust-8757d866aba7f89ed0db5ae9f0b52be4715348d3.tar.gz rust-8757d866aba7f89ed0db5ae9f0b52be4715348d3.zip | |
Auto merge of #2350 - RalfJung:remove-deprecated, r=oli-obk
remove deprecated options These have been deprecated a month ago and nobody said they need them. Is that enough time? We can also let this PR sit a little. Cc https://github.com/rust-lang/miri/issues/2187 https://github.com/rust-lang/miri/issues/2188 (keeping them open to track removing their supporting infrastructure in the core interpreter)
Diffstat (limited to 'tests/mir-opt/lower_array_len.array_len.NormalizeArrayLen.diff')
0 files changed, 0 insertions, 0 deletions