Struct rustc_infer::infer::opaque_types::ConstrainOpaqueTypeRegionVisitor

pub struct ConstrainOpaqueTypeRegionVisitor<'tcx, OP: FnMut(Region<'tcx>)> {
    pub tcx: TyCtxt<'tcx>,
    pub op: OP,
}

Visitor that requires that (almost) all regions in the type visited outlive least_region. We cannot use push_outlives_components because regions in closure signatures are not included in their outlives components. We need to ensure all regions outlive the given bound so that we don’t end up with, say, ReVar appearing in a return type and causing ICEs when other functions end up with region constraints involving regions from other functions.

We also cannot use for_each_free_region because for closures it includes the regions parameters from the enclosing item.

We ignore any type parameters because impl trait values are assumed to capture all the in-scope type parameters.

Fields

tcx: TyCtxt<'tcx>

op: OP

Trait Implementations

impl<'tcx, OP> TypeVisitor<TyCtxt<'tcx>> for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>

where OP: FnMut(Region<'tcx>),

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

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

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

type BreakTy = !

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.