Module visitors 

Re-exports

use crate::get_enclosing_block; 🔒

use crate::msrvs::Msrv; 🔒

use crate::qualify_min_const_fn::is_stable_const_fn_at; 🔒

use crate::res::MaybeResPath as _; 🔒

use crate::ty::needs_ordered_drop; 🔒

use core::ops::ControlFlow; 🔒

use rustc_ast::visit::VisitorResult as _; 🔒

use rustc_ast::visit::try_visit; 🔒

use rustc_hir::def::CtorKind; 🔒

use rustc_hir::def::DefKind; 🔒

use rustc_hir::def::Res; 🔒

use rustc_hir::intravisit; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir::intravisit::walk_block; 🔒

use rustc_hir::intravisit::walk_expr; 🔒

use rustc_hir::intravisit::walk_qpath; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::AmbigArg; 🔒

use rustc_hir::AnonConst; 🔒

use rustc_hir::Arm; 🔒

use rustc_hir::Block; 🔒

use rustc_hir::BlockCheckMode; 🔒

use rustc_hir::Body; 🔒

use rustc_hir::BodyId; 🔒

use rustc_hir::CRATE_HIR_ID; 🔒

use rustc_hir::ConstBlock; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::ItemId; 🔒

use rustc_hir::ItemKind; 🔒

use rustc_hir::LetExpr; 🔒

use rustc_hir::Pat; 🔒

use rustc_hir::QPath; 🔒

use rustc_hir::Stmt; 🔒

use rustc_hir::StructTailExpr; 🔒

use rustc_hir::UnOp; 🔒

use rustc_hir::UnsafeSource; 🔒

use rustc_lint::LateContext; 🔒

use rustc_middle::hir::nested_filter; 🔒

use rustc_middle::ty::adjustment::Adjust; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::Ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeckResults; 🔒

use rustc_span::Span; 🔒

use internal::Continue; 🔒

Modules

internal 🔒

Macros

visitable_ref 🔒

Enums

Descend

Allows for controlled descent when using visitor functions. Use () instead when always descending into child nodes.

Traits

Visitable

A type which can be visited.

Functions

any_temporaries_need_ordered_drop

Checks whether the drop order matters for any unconsumed temporary created by the given expression.

contains_break_or_continue

Checks whether the given expression contains any break or continue expressions. This does not enter any bodies or nested items, because a break or continue would not apply to the expression’s scope.

contains_try 🔒

returns true if expr contains match expr desugared from try

contains_unsafe_block

Checks if the given expression contains an unsafe block

find_all_ret_expressions

calls callback on every expression that could be the return value of expr.

for_each_expr

Calls the given function once for each expression contained. This will enter bodies, but not nested items.

for_each_expr_without_closures

Calls the given function once for each expression contained. This does not enter any bodies or nested items.

for_each_local_assignment

Runs the given function for each path expression referencing the given local which occur after the given expression.

for_each_local_use_after_expr

Runs the given function for each path expression referencing the given local which occur after the given expression.

for_each_unconsumed_temporary

for_each_value_source

Runs the given function for each sub-expression producing the final value consumed by the parent of the give expression.

is_const_evaluatable

Checks if the given expression can be evaluated as a constant at the specified node

is_const_evaluatable_helper 🔒

Returns whether the given expression can be evaluated as a constant assuming that all its sub expressions can be evaluated as constants.

is_const_param_evaluatable

Checks if the given expression can be used as a const parameter.

is_expr_unsafe

Checks if the given expression performs an unsafe operation outside of an unsafe block.

is_local_used

Checks if the given local is used.

is_res_used

Checks if the given resolved path is used in the given body.

local_used_once

If the local is only used once in visitable returns the path expression referencing the given local