Struct rustc_middle::ty::fold::LateBoundRegionsCollector

pub(in ty::fold) struct LateBoundRegionsCollector {
    current_index: DebruijnIndex,
    regions: FxHashSet<BoundRegion>,
    just_constrained: bool,
}

Collects all the late-bound regions at the innermost binding level into a hash set.

Fields

current_index: DebruijnIndex

regions: FxHashSet<BoundRegion>

just_constrained: bool

true if we only want regions that are known to be "constrained" when you equate this type with another type. In particular, if you have e.g., &'a u32 and &'b u32, equating them constraints 'a == 'b. But if you have <&'a u32 as Trait>::Foo and <&'b u32 as Trait>::Foo, normalizing those types may mean that 'a and 'b don't appear in the results, so they are not considered constrained.

Implementations

impl LateBoundRegionsCollector

pub(in ty::fold) fn new(
    just_constrained: bool
) -> Self

Trait Implementations

impl<'tcx> TypeVisitor<'tcx> for LateBoundRegionsCollector

pub fn visit_binder<T: TypeFoldable<'tcx>>(
    &mut self,
    t: &Binder<T>
) -> ControlFlow<Self::BreakTy>

pub fn visit_ty(&mut self, t: Ty<'tcx>) -> ControlFlow<Self::BreakTy>

pub fn visit_const(
    &mut self,
    c: &'tcx Const<'tcx>
) -> ControlFlow<Self::BreakTy>

pub fn visit_region(&mut self, r: Region<'tcx>) -> ControlFlow<Self::BreakTy>

type BreakTy = !

pub fn visit_predicate(
    &mut self,
    p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy>