remove from_forall

This commit is contained in:
lcnr
2025-08-08 14:02:42 +02:00
parent 53af067bb0
commit e1e1385ce0
5 changed files with 15 additions and 29 deletions

View File

@@ -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,
},
}