diff options
| author | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2025-08-06 16:58:42 +0200 |
|---|---|---|
| committer | Amanda Stjerna <amanda.stjerna@it.uu.se> | 2025-08-06 16:58:42 +0200 |
| commit | 648e3fc3938b4b5127e7591187ce523e660ade44 (patch) | |
| tree | eb7df70aa2fcbb3bdc2fe898eb74ab3157afce1b /compiler/rustc_infer/src | |
| parent | 61e8869ed9aa8bf50a0ea2447a43bf856479feaa (diff) | |
| download | rust-648e3fc3938b4b5127e7591187ce523e660ade44.tar.gz rust-648e3fc3938b4b5127e7591187ce523e660ade44.zip | |
Track names of existentials
Diffstat (limited to 'compiler/rustc_infer/src')
| -rw-r--r-- | compiler/rustc_infer/src/infer/mod.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/rustc_infer/src/infer/mod.rs b/compiler/rustc_infer/src/infer/mod.rs index 7379df7c7c7..a2afdc45fa8 100644 --- a/compiler/rustc_infer/src/infer/mod.rs +++ b/compiler/rustc_infer/src/infer/mod.rs @@ -484,6 +484,7 @@ pub enum NllRegionVariableOrigin { Placeholder(ty::PlaceholderRegion), 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)`. |