1
Fork 0

remove un-needed variants

This commit is contained in:
ouz-a 2023-09-28 11:43:21 +03:00
parent 2069e8c218
commit da2f897e59
2 changed files with 2 additions and 20 deletions

View file

@ -44,12 +44,9 @@ pub struct Region {
pub enum RegionKind {
ReEarlyBound(EarlyBoundRegion),
ReLateBound(DebruijnIndex, BoundRegion),
ReFree(FreeRegion),
ReStatic,
ReVar(RegionVid),
RePlaceholder(Placeholder<BoundRegion>),
ReErased,
ReError(ErrorGuaranteed),
}
pub(crate) type DebruijnIndex = u32;
@ -69,14 +66,6 @@ pub struct BoundRegion {
pub kind: BoundRegionKind,
}
#[derive(Debug, Clone)]
pub struct FreeRegion {
pub scope: RegionDef,
pub bound_region: BoundRegionKind,
}
pub(crate) type RegionVid = u32;
pub(crate) type UniverseIndex = u32;
#[derive(Debug, Clone)]
@ -85,8 +74,6 @@ pub struct Placeholder<T> {
pub bound: T,
}
pub(crate) type ErrorGuaranteed = ();
#[derive(Clone, Copy, PartialEq, Eq)]
pub struct Span(pub usize);