Struct rustc_infer::infer::opaque_types::ConstrainOpaqueTypeRegionVisitor

struct ConstrainOpaqueTypeRegionVisitor<OP> {
    op: OP,
}

Fields

op: OP

Trait Implementations

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

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.