Trait hir_ty::TypeVisitable

pub trait TypeVisitable<I>: Debugwhere
    I: Interner,{
    // Required method
    fn visit_with<B>(
        &self,
        visitor: &mut dyn TypeVisitor<I, BreakTy = B>,
        outer_binder: DebruijnIndex,
    ) -> ControlFlow<B>;
}

Expand description

Applies the given visitor to a value, producing a visited result of type TypeVisitor::Result.

Required Methods§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

Apply the given visitor visitor to self; binders is the number of binders that are in scope when beginning the visitor. Typically binders starts as 0, but is adjusted when we encounter Binders<T> in the IR or other similar constructs.

Object Safety§

This trait is not object safe.

Implementations on Foreign Types§

§

impl<A, B, C, D, E, I> TypeVisitable for (A, B, C, D, E)
where A: TypeVisitable, B: TypeVisitable, C: TypeVisitable, D: TypeVisitable, E: TypeVisitable, I: Interner,

§

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

§

impl<A, B, C, D, I> TypeVisitable for (A, B, C, D)
where A: TypeVisitable, B: TypeVisitable, C: TypeVisitable, D: TypeVisitable, I: Interner,

§

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

§

impl<A, B, C, I> TypeVisitable for (A, B, C)
where A: TypeVisitable, B: TypeVisitable, C: TypeVisitable, I: Interner,

§

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

§

impl<A, B, I> TypeVisitable for (A, B)
where A: TypeVisitable, B: TypeVisitable, I: Interner,

§

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

§

impl TypeVisitable for bool
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for ()
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for usize
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for PhantomData
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AdtDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AdtDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AdtFlags
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AdtKind
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AdtVariantDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AliasEqBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AssociatedTyDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AssociatedTyDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AssociatedTyValue
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AssociatedTyValueBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for AssociatedTyValueId
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for FnDefDatum
where I: Interner,

Avoids visiting I::FnAbi

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for FnDefDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for FnDefInputsAndOutputDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for ImplDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for ImplDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for ImplType
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for InlineBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for OpaqueTyDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for OpaqueTyDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for Polarity
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for TraitBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for TraitDatum
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for TraitDatumBound
where I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for TraitFlags
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl TypeVisitable for WellKnownTrait
where I: Interner,

§

fn visit_with( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for &[T]
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for Option<T>
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for &T
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for Box<T>
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for Arc<T>
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

§

impl<T, I> TypeVisitable for Vec<T>
where T: TypeVisitable, I: Interner,

§

fn visit_with( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow

Implementors§

§

impl<G, _I> TypeVisitable<_I> for InEnvironment<G>
where G: HasInterner<Interner = _I> + HasInterner + TypeVisitable<_I>, _I: Interner,

§

impl TypeVisitable for Ty
where I: Interner,

“visiting” a type invokes the visit_ty method on the visitor; this usually (in turn) invokes super_visit_ty to visit the individual parts.

§

impl TypeVisitable for TypeOutlives
where I: Interner,

§

impl TypeVisitable for UniverseIndex
where I: Interner,

§

impl TypeVisitable for WellFormed
where I: Interner,

§

impl TypeVisitable for WhereClause
where I: Interner,

§

impl<I, T> TypeVisitable for Canonical<T>
where I: Interner, T: HasInterner<Interner = I> + TypeVisitable,

§

Trait hir_ty::TypeVisitableCopy item path

Required Methods§

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

Object Safety§

Implementations on Foreign Types§

impl<A, B, C, D, E, I> TypeVisitable<I> for (A, B, C, D, E)where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, D: TypeVisitable<I>, E: TypeVisitable<I>, I: Interner,

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

impl<A, B, C, D, I> TypeVisitable<I> for (A, B, C, D)where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, D: TypeVisitable<I>, I: Interner,

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

impl<A, B, C, I> TypeVisitable<I> for (A, B, C)where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, I: Interner,

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

impl<A, B, I> TypeVisitable<I> for (A, B)where A: TypeVisitable<I>, B: TypeVisitable<I>, I: Interner,

fn visit_with<BT>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = BT>, outer_binder: DebruijnIndex, ) -> ControlFlow<BT>

impl<I> TypeVisitable<I> for boolwhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for ()where I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for usizewhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for PhantomData<I>where I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AdtDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AdtDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AdtFlagswhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AdtKindwhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AdtVariantDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AliasEqBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AssociatedTyDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AssociatedTyDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AssociatedTyValue<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AssociatedTyValueBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for AssociatedTyValueId<I>where I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for FnDefDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for FnDefDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for FnDefInputsAndOutputDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for ImplDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for ImplDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for ImplTypewhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for InlineBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for OpaqueTyDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for OpaqueTyDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for Polaritywhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for TraitBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for TraitDatum<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for TraitDatumBound<I>where I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for TraitFlagswhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<I> TypeVisitable<I> for WellKnownTraitwhere I: Interner,

fn visit_with<B>( &self, _visitor: &mut dyn TypeVisitor<I, BreakTy = B>, _outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<T, I> TypeVisitable<I> for &[T]where T: TypeVisitable<I>, I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<T, I> TypeVisitable<I> for Option<T>where T: TypeVisitable<I>, I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<T, I> TypeVisitable<I> for &Twhere T: TypeVisitable<I>, I: Interner,

fn visit_with<B>( &self, visitor: &mut dyn TypeVisitor<I, BreakTy = B>, outer_binder: DebruijnIndex, ) -> ControlFlow<B>

impl<T, I> TypeVisitable<I> for Box<T>where T: TypeVisitable<I>, I: Interner,

Trait hir_ty::TypeVisitable

impl<A, B, C, D, E, I> TypeVisitable<I> for (A, B, C, D, E)
where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, D: TypeVisitable<I>, E: TypeVisitable<I>, I: Interner,

impl<A, B, C, D, I> TypeVisitable<I> for (A, B, C, D)
where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, D: TypeVisitable<I>, I: Interner,

impl<A, B, C, I> TypeVisitable<I> for (A, B, C)
where A: TypeVisitable<I>, B: TypeVisitable<I>, C: TypeVisitable<I>, I: Interner,

impl<A, B, I> TypeVisitable<I> for (A, B)
where A: TypeVisitable<I>, B: TypeVisitable<I>, I: Interner,

impl<I> TypeVisitable<I> for bool
where I: Interner,

impl<I> TypeVisitable<I> for ()
where I: Interner,

impl<I> TypeVisitable<I> for usize
where I: Interner,

impl<I> TypeVisitable<I> for PhantomData<I>
where I: Interner,

impl<I> TypeVisitable<I> for AdtDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for AdtDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for AdtFlags
where I: Interner,

impl<I> TypeVisitable<I> for AdtKind
where I: Interner,

impl<I> TypeVisitable<I> for AdtVariantDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for AliasEqBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssociatedTyDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssociatedTyDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssociatedTyValue<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssociatedTyValueBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssociatedTyValueId<I>
where I: Interner,

impl<I> TypeVisitable<I> for FnDefDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for FnDefDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for FnDefInputsAndOutputDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for ImplDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for ImplDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for ImplType
where I: Interner,

impl<I> TypeVisitable<I> for InlineBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for OpaqueTyDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for OpaqueTyDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for Polarity
where I: Interner,

impl<I> TypeVisitable<I> for TraitBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for TraitDatum<I>
where I: Interner,

impl<I> TypeVisitable<I> for TraitDatumBound<I>
where I: Interner,

impl<I> TypeVisitable<I> for TraitFlags
where I: Interner,

impl<I> TypeVisitable<I> for WellKnownTrait
where I: Interner,

impl<T, I> TypeVisitable<I> for &[T]
where T: TypeVisitable<I>, I: Interner,

impl<T, I> TypeVisitable<I> for Option<T>
where T: TypeVisitable<I>, I: Interner,

impl<T, I> TypeVisitable<I> for &T
where T: TypeVisitable<I>, I: Interner,

impl<T, I> TypeVisitable<I> for Box<T>
where T: TypeVisitable<I>, I: Interner,

impl<T, I> TypeVisitable<I> for Arc<T>
where T: TypeVisitable<I>, I: Interner,

impl<T, I> TypeVisitable<I> for Vec<T>
where T: TypeVisitable<I>, I: Interner,

impl<G, _I> TypeVisitable<_I> for InEnvironment<G>
where G: HasInterner<Interner = _I> + HasInterner + TypeVisitable<_I>, _I: Interner,

impl<I> TypeVisitable<I> for Mutability
where I: Interner,

impl<I> TypeVisitable<I> for Safety
where I: Interner,

impl<I> TypeVisitable<I> for Scalar
where I: Interner,

impl<I> TypeVisitable<I> for FloatTy
where I: Interner,

impl<I> TypeVisitable<I> for IntTy
where I: Interner,

impl<I> TypeVisitable<I> for UintTy
where I: Interner,

impl<I> TypeVisitable<I> for AdtId<I>
where I: Interner,

impl<I> TypeVisitable<I> for DebruijnIndex
where I: Interner,

impl<I> TypeVisitable<I> for FnSubst<I>
where I: Interner,

impl<I> TypeVisitable<I> for AliasEq<I>
where I: Interner,

impl<I> TypeVisitable<I> for AliasTy<I>
where I: Interner,

impl<I> TypeVisitable<I> for AnswerSubst<I>
where I: Interner,

impl<I> TypeVisitable<I> for AssocTypeId<I>
where I: Interner,

impl<I> TypeVisitable<I> for ClausePriority
where I: Interner,

impl<I> TypeVisitable<I> for ClosureId<I>
where I: Interner,

impl<I> TypeVisitable<I> for Const<I>
where I: Interner,

impl<I> TypeVisitable<I> for ConstrainedSubst<I>
where I: Interner,

impl<I> TypeVisitable<I> for Constraint<I>
where I: Interner,

impl<I> TypeVisitable<I> for Constraints<I>
where I: Interner,

impl<I> TypeVisitable<I> for CoroutineId<I>
where I: Interner,

impl<I> TypeVisitable<I> for DomainGoal<I>
where I: Interner,

impl<I> TypeVisitable<I> for DynTy<I>
where I: Interner,

impl<I> TypeVisitable<I> for Environment<I>
where I: Interner,

impl<I> TypeVisitable<I> for EqGoal<I>
where I: Interner,

impl<I> TypeVisitable<I> for FnDefId<I>
where I: Interner,

impl<I> TypeVisitable<I> for FnPointer<I>
where I: Interner,

impl<I> TypeVisitable<I> for ForeignDefId<I>
where I: Interner,

impl<I> TypeVisitable<I> for FromEnv<I>
where I: Interner,

impl<I> TypeVisitable<I> for GenericArg<I>
where I: Interner,

impl<I> TypeVisitable<I> for GenericArgData<I>
where I: Interner,

impl<I> TypeVisitable<I> for Goal<I>
where I: Interner,

impl<I> TypeVisitable<I> for GoalData<I>
where I: Interner,

impl<I> TypeVisitable<I> for Goals<I>
where I: Interner,

impl<I> TypeVisitable<I> for ImplId<I>
where I: Interner,

impl<I> TypeVisitable<I> for Lifetime<I>
where I: Interner,

impl<I> TypeVisitable<I> for LifetimeOutlives<I>
where I: Interner,

impl<I> TypeVisitable<I> for Normalize<I>
where I: Interner,

impl<I> TypeVisitable<I> for OpaqueTy<I>
where I: Interner,