mirror of
https://github.com/rust-lang/rust.git
synced 2025-12-30 18:45:31 +00:00
Fix nit in rustc_session::options Addresses https://github.com/rust-lang/rust/pull/84802#discussion_r624578203 - I never actually pushed the commit before that PR got merged. r? `@Mark-Simulacrum`