about summary refs log tree commit diff
path: root/compiler/rustc_session/src/options.rs
diff options
context:
space:
mode:
authorMichael Goulet <michael@errs.io>2025-07-13 21:01:25 +0000
committerMichael Goulet <michael@errs.io>2025-07-15 16:02:26 +0000
commit512cf3ae88b26f50a92ebfcb69c24ca39acd72e6 (patch)
treef8195454815901d9922dc128e68c37abc30cb549 /compiler/rustc_session/src/options.rs
parente3f643c70670a3e1567b0816502ab247565305f8 (diff)
downloadrust-512cf3ae88b26f50a92ebfcb69c24ca39acd72e6.tar.gz
rust-512cf3ae88b26f50a92ebfcb69c24ca39acd72e6.zip
Gate things properly
Diffstat (limited to 'compiler/rustc_session/src/options.rs')
-rw-r--r--compiler/rustc_session/src/options.rs2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/rustc_session/src/options.rs b/compiler/rustc_session/src/options.rs
index 626262c8442..2bdde2f887a 100644
--- a/compiler/rustc_session/src/options.rs
+++ b/compiler/rustc_session/src/options.rs
@@ -2256,6 +2256,8 @@ options! {
         environment variable `RUSTC_GRAPHVIZ_FONT` (default: `Courier, monospace`)"),
     has_thread_local: Option<bool> = (None, parse_opt_bool, [TRACKED],
         "explicitly enable the `cfg(target_thread_local)` directive"),
+    higher_ranked_assumptions: bool = (false, parse_bool, [TRACKED],
+        "allow deducing higher-ranked outlives assumptions from coroutines when proving auto traits"),
     hint_mostly_unused: bool = (false, parse_bool, [TRACKED],
         "hint that most of this crate will go unused, to minimize work for uncalled functions"),
     human_readable_cgu_names: bool = (false, parse_bool, [TRACKED],