Struct rustc_infer::infer::opaque_types::ConstrainOpaqueTypeRegionVisitor

struct ConstrainOpaqueTypeRegionVisitor<'tcx, OP> {
    tcx: TyCtxt<'tcx>,
    op: OP,
}

Fields

tcx: TyCtxt<'tcx>

op: OP

Trait Implementations

impl<'tcx, OP> TypeVisitor<'tcx> for ConstrainOpaqueTypeRegionVisitor<'tcx, OP> where
    OP: FnMut(Region<'tcx>), 

fn tcx_for_anon_const_substs(&self) -> Option<TyCtxt<'tcx>>

Supplies the tcx for an unevaluated anonymous constant in case its default substs are not yet supplied.

fn visit_binder<T: TypeFoldable<'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 = !

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

fn visit_unevaluated_const(
    &mut self,
    uv: Unevaluated<Option<Promoted>>
) -> ControlFlow<Self::BreakTy, ()>

fn visit_predicate(&mut self, p: Predicate) -> ControlFlow<Self::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.