mirror of
https://github.com/rust-lang/rust.git
synced 2026-05-31 13:40:15 +03:00
8757d866ab
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)