Remove index from Region::EarlyBound.

This commit is contained in:
Camille GILLOT
2022-05-24 13:00:36 +02:00
parent 63c3aabeb8
commit 421bb6ac62
6 changed files with 50 additions and 214 deletions

View File

@@ -10,7 +10,7 @@ use rustc_macros::HashStable;
#[derive(Clone, Copy, PartialEq, Eq, Hash, TyEncodable, TyDecodable, Debug, HashStable)]
pub enum Region {
Static,
EarlyBound(/* index */ u32, /* lifetime decl */ DefId),
EarlyBound(/* lifetime decl */ DefId),
LateBound(ty::DebruijnIndex, /* late-bound index */ u32, /* lifetime decl */ DefId),
Free(DefId, /* lifetime decl */ DefId),
}