about summary refs log tree commit diff
path: root/compiler/rustc_infer
diff options
context:
space:
mode:
authorlcnr <rust@lcnr.de>2025-08-08 14:02:42 +0200
committerlcnr <rust@lcnr.de>2025-08-11 09:18:46 +0200
commite1e1385ce04301f34c41e2651fc5eb2f34c89348 (patch)
treef33f0530d2223849e2f5d531339799554f18270e /compiler/rustc_infer
parent53af067bb0b4edf9b5394e5f9b60942974b9fbc2 (diff)
downloadrust-e1e1385ce04301f34c41e2651fc5eb2f34c89348.tar.gz
rust-e1e1385ce04301f34c41e2651fc5eb2f34c89348.zip
remove `from_forall`
Diffstat (limited to 'compiler/rustc_infer')
-rw-r--r--compiler/rustc_infer/src/infer/mod.rs11
1 files changed, 0 insertions, 11 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs
index a2afdc45fa8..82d4856df39 100644
--- a/compiler/rustc_infer/src/infer/mod.rs
+++ b/compiler/rustc_infer/src/infer/mod.rs
@@ -485,17 +485,6 @@ pub enum NllRegionVariableOrigin {
 
     Existential {
         name: Option<Symbol>,
-        /// If this is true, then this variable was created to represent a lifetime
-        /// bound in a `for` binder. For example, it might have been created to
-        /// represent the lifetime `'a` in a type like `for<'a> fn(&'a u32)`.
-        /// Such variables are created when we are trying to figure out if there
-        /// is any valid instantiation of `'a` that could fit into some scenario.
-        ///
-        /// This is used to inform error reporting: in the case that we are trying to
-        /// determine whether there is any valid instantiation of a `'a` variable that meets
-        /// some constraint C, we want to blame the "source" of that `for` type,
-        /// rather than blaming the source of the constraint C.
-        from_forall: bool,
     },
 }