Struct DontLeakImplDetails

#[repr(transparent)]
pub struct DontLeakImplDetails<V>(V);

Struct that we use to be able to use our visitor wrappers with each other to share functionality, while still making the wrappers composable. We can implement e.g. VisitorWithItem for DontLeakImplDetails<Wrapper<V>> while still retaining the capacity to implement impl<V: VisitorWithItem> VisitorWithItem for Wrapper<V> that forwards to the inner visitor.

Tuple Fields

0: V

Implementations

impl<V> DontLeakImplDetails<V>

pub fn new(v: &mut V) -> &mut Self

pub fn inner(&mut self) -> &mut V

Trait Implementations

impl<V: VisitAst> VisitAst for DontLeakImplDetails<V>

fn visit_inner<T>(&mut self, x: &T) -> ControlFlow<Self::Break>

where T: AstVisitable,

Just forward to the wrapped visitor.

fn visit<'a, T: AstVisitable>(&'a mut self, x: &T) -> ControlFlow<Self::Break>

Visit a visitable type. This calls the appropriate method of this trait on x (visit_$ty if it exists, visit_inner if not).

fn visit_by_val<T: AstVisitable>(self, x: &T) -> ControlFlow<Self::Break, Self>

Convenience alias for method chaining.

fn visit_by_val_infallible<T: AstVisitable>(self, x: &T) -> Self

where Self: Visitor<Break = Infallible> + Sized,

Convenience when the visitor does not return early.

fn visit_de_bruijn_id(&mut self, x: &DeBruijnId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_de_bruijn_id(&mut self, x: &DeBruijnId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_de_bruijn_id(&mut self, x: &DeBruijnId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ty(&mut self, x: &Ty) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ty(&mut self, x: &Ty)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ty(&mut self, x: &Ty)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ty_kind(&mut self, x: &TyKind) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ty_kind(&mut self, x: &TyKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ty_kind(&mut self, x: &TyKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_region(&mut self, x: &Region) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_region(&mut self, x: &Region)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_region(&mut self, x: &Region)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_const_generic(&mut self, x: &ConstGeneric) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_const_generic(&mut self, x: &ConstGeneric)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_const_generic(&mut self, x: &ConstGeneric)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_ref(&mut self, x: &TraitRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_ref(&mut self, x: &TraitRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_ref(&mut self, x: &TraitRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_ref_kind(&mut self, x: &TraitRefKind) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_ref_kind(&mut self, x: &TraitRefKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_ref_kind(&mut self, x: &TraitRefKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl_ref(&mut self, x: &TypeDeclRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl_ref(&mut self, x: &TypeDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl_ref(&mut self, x: &TypeDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl_ref(&mut self, x: &FunDeclRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl_ref(&mut self, x: &FunDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl_ref(&mut self, x: &FunDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_maybe_builtin_fun_decl_ref( &mut self, x: &MaybeBuiltinFunDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_maybe_builtin_fun_decl_ref(&mut self, x: &MaybeBuiltinFunDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_maybe_builtin_fun_decl_ref(&mut self, x: &MaybeBuiltinFunDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_method_ref( &mut self, x: &TraitMethodRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_method_ref(&mut self, x: &TraitMethodRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_method_ref(&mut self, x: &TraitMethodRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl_ref( &mut self, x: &GlobalDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl_ref(&mut self, x: &GlobalDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl_ref(&mut self, x: &GlobalDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl_ref(&mut self, x: &TraitDeclRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl_ref(&mut self, x: &TraitDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl_ref(&mut self, x: &TraitDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl_ref(&mut self, x: &TraitImplRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl_ref(&mut self, x: &TraitImplRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl_ref(&mut self, x: &TraitImplRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_generic_args(&mut self, x: &GenericArgs) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_generic_args(&mut self, x: &GenericArgs)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_generic_args(&mut self, x: &GenericArgs)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_generic_params( &mut self, x: &GenericParams, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_generic_params(&mut self, x: &GenericParams)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_generic_params(&mut self, x: &GenericParams)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_clause(&mut self, x: &TraitClause) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_clause(&mut self, x: &TraitClause)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_clause(&mut self, x: &TraitClause)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_clause_id( &mut self, x: &TraitClauseId, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_clause_id(&mut self, x: &TraitClauseId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_clause_id(&mut self, x: &TraitClauseId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_type_constraint( &mut self, x: &TraitTypeConstraint, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_type_constraint(&mut self, x: &TraitTypeConstraint)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_type_constraint(&mut self, x: &TraitTypeConstraint)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_place(&mut self, x: &Place) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_place(&mut self, x: &Place)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_place(&mut self, x: &Place)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_rvalue(&mut self, x: &Rvalue) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_rvalue(&mut self, x: &Rvalue)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_rvalue(&mut self, x: &Rvalue)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_de_bruijn_var<T: AstVisitable + Idx>( &mut self, x: &DeBruijnVar<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_de_bruijn_var<T: AstVisitable + Idx>(&mut self, x: &DeBruijnVar<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_de_bruijn_var<T: AstVisitable + Idx>(&mut self, x: &DeBruijnVar<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_region_binder<T: AstVisitable>( &mut self, x: &RegionBinder<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_region_binder<T: AstVisitable>(&mut self, x: &RegionBinder<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_region_binder<T: AstVisitable>(&mut self, x: &RegionBinder<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_binder<T: AstVisitable>( &mut self, x: &Binder<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_binder<T: AstVisitable>(&mut self, x: &Binder<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_binder<T: AstVisitable>(&mut self, x: &Binder<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_block(&mut self, x: &Block) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_block(&mut self, x: &Block)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_block(&mut self, x: &Block)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_statement(&mut self, x: &Statement) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_statement(&mut self, x: &Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_statement(&mut self, x: &Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_statement(&mut self, x: &Statement) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_statement(&mut self, x: &Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_statement(&mut self, x: &Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_terminator(&mut self, x: &Terminator) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_terminator(&mut self, x: &Terminator)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_terminator(&mut self, x: &Terminator)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_aggregate_kind( &mut self, x: &AggregateKind, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_aggregate_kind(&mut self, x: &AggregateKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_aggregate_kind(&mut self, x: &AggregateKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fn_ptr(&mut self, x: &FnPtr) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fn_ptr(&mut self, x: &FnPtr)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fn_ptr(&mut self, x: &FnPtr)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_item_kind(&mut self, x: &ItemKind) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_item_kind(&mut self, x: &ItemKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_item_kind(&mut self, x: &ItemKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_item_meta(&mut self, x: &ItemMeta) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_item_meta(&mut self, x: &ItemMeta)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_item_meta(&mut self, x: &ItemMeta)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_span(&mut self, x: &Span) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_span(&mut self, x: &Span)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_span(&mut self, x: &Span)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_constant_expr(&mut self, x: &ConstantExpr) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_constant_expr(&mut self, x: &ConstantExpr)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_constant_expr(&mut self, x: &ConstantExpr)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl_id(&mut self, x: &FunDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl_id(&mut self, x: &FunDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl_id(&mut self, x: &FunDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl_id(&mut self, x: &GlobalDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl_id(&mut self, x: &GlobalDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl_id(&mut self, x: &GlobalDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl_id(&mut self, x: &TypeDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl_id(&mut self, x: &TypeDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl_id(&mut self, x: &TypeDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl_id(&mut self, x: &TraitDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl_id(&mut self, x: &TraitDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl_id(&mut self, x: &TraitDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl_id(&mut self, x: &TraitImplId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl_id(&mut self, x: &TraitImplId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl_id(&mut self, x: &TraitImplId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl(&mut self, x: &FunDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl(&mut self, x: &FunDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl(&mut self, x: &FunDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl(&mut self, x: &GlobalDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl(&mut self, x: &GlobalDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl(&mut self, x: &GlobalDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl(&mut self, x: &TypeDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl(&mut self, x: &TypeDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl(&mut self, x: &TypeDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl(&mut self, x: &TraitDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl(&mut self, x: &TraitDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl(&mut self, x: &TraitDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl(&mut self, x: &TraitImpl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl(&mut self, x: &TraitImpl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl(&mut self, x: &TraitImpl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

impl<V: VisitAstMut> VisitAstMut for DontLeakImplDetails<V>

fn visit_inner<T>(&mut self, x: &mut T) -> ControlFlow<Self::Break>

where T: AstVisitable,

Just forward to the wrapped visitor.

fn visit<'a, T: AstVisitable>( &'a mut self, x: &mut T, ) -> ControlFlow<Self::Break>

Visit a visitable type. This calls the appropriate method of this trait on x (visit_$ty if it exists, visit_inner if not).

fn visit_by_val<T: AstVisitable>( self, x: &mut T, ) -> ControlFlow<Self::Break, Self>

Convenience alias for method chaining.

fn visit_by_val_infallible<T: AstVisitable>(self, x: &mut T) -> Self

where Self: Visitor<Break = Infallible> + Sized,

Convenience when the visitor does not return early.

fn visit_de_bruijn_id(&mut self, x: &mut DeBruijnId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_de_bruijn_id(&mut self, x: &mut DeBruijnId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_de_bruijn_id(&mut self, x: &mut DeBruijnId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ty(&mut self, x: &mut Ty) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ty(&mut self, x: &mut Ty)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ty(&mut self, x: &mut Ty)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ty_kind(&mut self, x: &mut TyKind) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ty_kind(&mut self, x: &mut TyKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ty_kind(&mut self, x: &mut TyKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_region(&mut self, x: &mut Region) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_region(&mut self, x: &mut Region)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_region(&mut self, x: &mut Region)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_const_generic( &mut self, x: &mut ConstGeneric, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_const_generic(&mut self, x: &mut ConstGeneric)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_const_generic(&mut self, x: &mut ConstGeneric)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_ref(&mut self, x: &mut TraitRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_ref(&mut self, x: &mut TraitRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_ref(&mut self, x: &mut TraitRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_ref_kind( &mut self, x: &mut TraitRefKind, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_ref_kind(&mut self, x: &mut TraitRefKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_ref_kind(&mut self, x: &mut TraitRefKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl_ref( &mut self, x: &mut TypeDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl_ref(&mut self, x: &mut TypeDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl_ref(&mut self, x: &mut TypeDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl_ref(&mut self, x: &mut FunDeclRef) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl_ref(&mut self, x: &mut FunDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl_ref(&mut self, x: &mut FunDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_maybe_builtin_fun_decl_ref( &mut self, x: &mut MaybeBuiltinFunDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_maybe_builtin_fun_decl_ref(&mut self, x: &mut MaybeBuiltinFunDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_maybe_builtin_fun_decl_ref(&mut self, x: &mut MaybeBuiltinFunDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_method_ref( &mut self, x: &mut TraitMethodRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_method_ref(&mut self, x: &mut TraitMethodRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_method_ref(&mut self, x: &mut TraitMethodRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl_ref( &mut self, x: &mut GlobalDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl_ref(&mut self, x: &mut GlobalDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl_ref(&mut self, x: &mut GlobalDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl_ref( &mut self, x: &mut TraitDeclRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl_ref(&mut self, x: &mut TraitDeclRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl_ref(&mut self, x: &mut TraitDeclRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl_ref( &mut self, x: &mut TraitImplRef, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl_ref(&mut self, x: &mut TraitImplRef)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl_ref(&mut self, x: &mut TraitImplRef)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_generic_args( &mut self, x: &mut GenericArgs, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_generic_args(&mut self, x: &mut GenericArgs)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_generic_args(&mut self, x: &mut GenericArgs)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_generic_params( &mut self, x: &mut GenericParams, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_generic_params(&mut self, x: &mut GenericParams)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_generic_params(&mut self, x: &mut GenericParams)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_clause( &mut self, x: &mut TraitClause, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_clause(&mut self, x: &mut TraitClause)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_clause(&mut self, x: &mut TraitClause)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_clause_id( &mut self, x: &mut TraitClauseId, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_clause_id(&mut self, x: &mut TraitClauseId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_clause_id(&mut self, x: &mut TraitClauseId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_type_constraint( &mut self, x: &mut TraitTypeConstraint, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_type_constraint(&mut self, x: &mut TraitTypeConstraint)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_type_constraint(&mut self, x: &mut TraitTypeConstraint)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_place(&mut self, x: &mut Place) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_place(&mut self, x: &mut Place)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_place(&mut self, x: &mut Place)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_rvalue(&mut self, x: &mut Rvalue) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_rvalue(&mut self, x: &mut Rvalue)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_rvalue(&mut self, x: &mut Rvalue)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_de_bruijn_var<T: AstVisitable + Idx>( &mut self, x: &mut DeBruijnVar<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_de_bruijn_var<T: AstVisitable + Idx>(&mut self, x: &mut DeBruijnVar<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_de_bruijn_var<T: AstVisitable + Idx>(&mut self, x: &mut DeBruijnVar<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_region_binder<T: AstVisitable>( &mut self, x: &mut RegionBinder<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_region_binder<T: AstVisitable>(&mut self, x: &mut RegionBinder<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_region_binder<T: AstVisitable>(&mut self, x: &mut RegionBinder<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_binder<T: AstVisitable>( &mut self, x: &mut Binder<T>, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_binder<T: AstVisitable>(&mut self, x: &mut Binder<T>)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_binder<T: AstVisitable>(&mut self, x: &mut Binder<T>)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_block(&mut self, x: &mut Block) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_block(&mut self, x: &mut Block)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_block(&mut self, x: &mut Block)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_llbc_statement( &mut self, x: &mut Statement, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_llbc_statement(&mut self, x: &mut Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_llbc_statement(&mut self, x: &mut Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_statement( &mut self, x: &mut Statement, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_statement(&mut self, x: &mut Statement)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_statement(&mut self, x: &mut Statement)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_ullbc_terminator( &mut self, x: &mut Terminator, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_ullbc_terminator(&mut self, x: &mut Terminator)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_ullbc_terminator(&mut self, x: &mut Terminator)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_aggregate_kind( &mut self, x: &mut AggregateKind, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_aggregate_kind(&mut self, x: &mut AggregateKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_aggregate_kind(&mut self, x: &mut AggregateKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fn_ptr(&mut self, x: &mut FnPtr) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fn_ptr(&mut self, x: &mut FnPtr)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fn_ptr(&mut self, x: &mut FnPtr)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_item_kind(&mut self, x: &mut ItemKind) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_item_kind(&mut self, x: &mut ItemKind)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_item_kind(&mut self, x: &mut ItemKind)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_item_meta(&mut self, x: &mut ItemMeta) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_item_meta(&mut self, x: &mut ItemMeta)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_item_meta(&mut self, x: &mut ItemMeta)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_span(&mut self, x: &mut Span) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_span(&mut self, x: &mut Span)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_span(&mut self, x: &mut Span)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_constant_expr( &mut self, x: &mut ConstantExpr, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_constant_expr(&mut self, x: &mut ConstantExpr)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_constant_expr(&mut self, x: &mut ConstantExpr)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl_id(&mut self, x: &mut FunDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl_id(&mut self, x: &mut FunDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl_id(&mut self, x: &mut FunDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl_id( &mut self, x: &mut GlobalDeclId, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl_id(&mut self, x: &mut GlobalDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl_id(&mut self, x: &mut GlobalDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl_id(&mut self, x: &mut TypeDeclId) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl_id(&mut self, x: &mut TypeDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl_id(&mut self, x: &mut TypeDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl_id( &mut self, x: &mut TraitDeclId, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl_id(&mut self, x: &mut TraitDeclId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl_id(&mut self, x: &mut TraitDeclId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl_id( &mut self, x: &mut TraitImplId, ) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl_id(&mut self, x: &mut TraitImplId)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl_id(&mut self, x: &mut TraitImplId)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_fun_decl(&mut self, x: &mut FunDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_fun_decl(&mut self, x: &mut FunDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_fun_decl(&mut self, x: &mut FunDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_global_decl(&mut self, x: &mut GlobalDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_global_decl(&mut self, x: &mut GlobalDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_global_decl(&mut self, x: &mut GlobalDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_type_decl(&mut self, x: &mut TypeDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_type_decl(&mut self, x: &mut TypeDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_type_decl(&mut self, x: &mut TypeDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_decl(&mut self, x: &mut TraitDecl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_decl(&mut self, x: &mut TraitDecl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_decl(&mut self, x: &mut TraitDecl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

fn visit_trait_impl(&mut self, x: &mut TraitImpl) -> ControlFlow<Self::Break>

Overrideable method called when visiting a $ty. When overriding this method, call self.visit_inner(x) to keep recursively visiting the type, or don’t call it if the contents of x should not be visited.

fn enter_trait_impl(&mut self, x: &mut TraitImpl)

Called when starting to visit a $ty (unless visit_$ty is overriden).

fn exit_trait_impl(&mut self, x: &mut TraitImpl)

Called when finished visiting a $ty (unless visit_$ty is overriden).

impl<V: Visitor> Visitor for DontLeakImplDetails<V>

type Break = <V as Visitor>::Break

The type used for early-return, if the visitor supports it. Use an empty type like std::convert::Infallible if the visitor does not short-circuit.

impl<V: VisitAst + VisitorWithBinderStack> VisitorWithItem for DontLeakImplDetails<VisitWithBinderStack<V>>

fn enter_item(&mut self, item: AnyTransItem<'_>)

fn exit_item(&mut self, _item: AnyTransItem<'_>)

fn visit_item(&mut self, item: AnyTransItem<'_>) -> ControlFlow<Self::Break>

impl<V: VisitAst + VisitorWithSpan> VisitorWithItem for DontLeakImplDetails<VisitWithSpan<V>>

fn visit_item(&mut self, item: AnyTransItem<'_>) -> ControlFlow<Self::Break>

fn enter_item(&mut self, _item: AnyTransItem<'_>)

fn exit_item(&mut self, _item: AnyTransItem<'_>)

impl<V: VisitAstMut + VisitorWithBinderStack> VisitorWithItemMut for DontLeakImplDetails<VisitWithBinderStack<V>>

fn enter_item(&mut self, item: AnyTransItemMut<'_>)

fn exit_item(&mut self, _item: AnyTransItemMut<'_>)

fn visit_item(&mut self, item: AnyTransItemMut<'_>) -> ControlFlow<Self::Break>

impl<V: VisitAstMut + VisitorWithSpan> VisitorWithItemMut for DontLeakImplDetails<VisitWithSpan<V>>

fn visit_item(&mut self, item: AnyTransItemMut<'_>) -> ControlFlow<Self::Break>

fn enter_item(&mut self, _item: AnyTransItemMut<'_>)

fn exit_item(&mut self, _item: AnyTransItemMut<'_>)

impl<V: VisitorWithSpan> VisitorWithSpan for DontLeakImplDetails<V>

fn current_span(&mut self) -> &mut Span