diff options
| author | bors <bors@rust-lang.org> | 2023-02-21 09:51:03 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-02-21 09:51:03 +0000 |
| commit | bda32a4023b1d3f96e56e1b2fc7510324f430316 (patch) | |
| tree | fa2ad1f872ff33b9da95f2a1ab374832393d1915 /compiler/rustc_session/src | |
| parent | 3fee48c161a48b0c142d3998fff56faee96bd56c (diff) | |
| parent | 60c0972af79e0eecaa757be53ce7cd58048eb97f (diff) | |
| download | rust-bda32a4023b1d3f96e56e1b2fc7510324f430316.tar.gz rust-bda32a4023b1d3f96e56e1b2fc7510324f430316.zip | |
Auto merge of #108301 - Dylan-DPC:rollup-70zpkt0, r=Dylan-DPC
Rollup of 7 pull requests Successful merges: - #108000 (lint: don't suggest MaybeUninit::assume_init for uninhabited types) - #108105 (Explain the default panic hook better) - #108141 (Add rpitit queries) - #108272 (docs: wrong naming convention in struct keyword doc) - #108285 (remove unstable `pick_stable_methods_before_any_unstable` flag) - #108289 (Name placeholder in some region errors) - #108290 (Add a test for default trait method with RPITITs) Failed merges: r? `@ghost` `@rustbot` modify labels: rollup
Diffstat (limited to 'compiler/rustc_session/src')
| -rw-r--r-- | compiler/rustc_session/src/options.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs index 0d5818bd39c..1f3eb8d4832 100644 --- a/compiler/rustc_session/src/options.rs +++ b/compiler/rustc_session/src/options.rs @@ -1567,8 +1567,6 @@ options! { "parse only; do not compile, assemble, or link (default: no)"), perf_stats: bool = (false, parse_bool, [UNTRACKED], "print some performance-related statistics (default: no)"), - pick_stable_methods_before_any_unstable: bool = (true, parse_bool, [TRACKED], - "try to pick stable methods first before picking any unstable methods (default: yes)"), plt: Option<bool> = (None, parse_opt_bool, [TRACKED], "whether to use the PLT when calling into shared libraries; only has effect for PIC code on systems with ELF binaries |