Struct rustc_trait_selection::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: &'tcx Const<'tcx>
) -> ControlFlow<Self::BreakTy, ()>

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