diff options
| author | lcnr <rust@lcnr.de> | 2025-08-08 14:02:42 +0200 |
|---|---|---|
| committer | lcnr <rust@lcnr.de> | 2025-08-11 09:18:46 +0200 |
| commit | e1e1385ce04301f34c41e2651fc5eb2f34c89348 (patch) | |
| tree | f33f0530d2223849e2f5d531339799554f18270e /compiler/rustc_infer | |
| parent | 53af067bb0b4edf9b5394e5f9b60942974b9fbc2 (diff) | |
| download | rust-e1e1385ce04301f34c41e2651fc5eb2f34c89348.tar.gz rust-e1e1385ce04301f34c41e2651fc5eb2f34c89348.zip | |
remove `from_forall`
Diffstat (limited to 'compiler/rustc_infer')
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 11 |
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, }, } |
