pub struct ConstrainOpaqueTypeRegionVisitor<'tcx, OP: FnMut(Region<'tcx>)> {
pub tcx: TyCtxt<'tcx>,
pub op: OP,
}Fields§
§tcx: TyCtxt<'tcx>§op: OPTrait Implementations§
source§impl<'tcx, OP> TypeVisitor<'tcx> for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>where
OP: FnMut(Region<'tcx>),
impl<'tcx, OP> TypeVisitor<'tcx> for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>where
OP: FnMut(Region<'tcx>),
fn visit_binder<T: TypeVisitable<'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<'tcx>) -> ControlFlow<Self::BreakTy, ()>
fn visit_predicate(
&mut self,
p: Predicate<'tcx>
) -> ControlFlow<Self::BreakTy, ()>
Auto Trait Implementations§
impl<'tcx, OP> !RefUnwindSafe for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>
impl<'tcx, OP> !Send for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>
impl<'tcx, OP> !Sync for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>
impl<'tcx, OP> Unpin for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>where
OP: Unpin,
impl<'tcx, OP> !UnwindSafe for ConstrainOpaqueTypeRegionVisitor<'tcx, OP>
Blanket Implementations§
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.