Module usage 

Re-exports

use crate::macros::root_macro_call_first_node; 🔒

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

use crate::visitors::Descend; 🔒

use crate::visitors::Visitable; 🔒

use crate::visitors::for_each_expr; 🔒

use crate::visitors::for_each_expr_without_closures; 🔒

use crate as utils; 🔒

use crate::get_enclosing_loop_or_multi_call_closure; 🔒

use crate::sym; 🔒

use core::ops::ControlFlow; 🔒

use hir::def::Res; 🔒

use rustc_hir::intravisit; 🔒

use rustc_hir::intravisit::Visitor; 🔒

use rustc_hir as hir; 🔒

use rustc_hir::Expr; 🔒

use rustc_hir::ExprKind; 🔒

use rustc_hir::HirId; 🔒

use rustc_hir::HirIdSet; 🔒

use rustc_hir_typeck::expr_use_visitor::Delegate; 🔒

use rustc_hir_typeck::expr_use_visitor::ExprUseVisitor; 🔒

use rustc_hir_typeck::expr_use_visitor::Place; 🔒

use rustc_hir_typeck::expr_use_visitor::PlaceBase; 🔒

use rustc_hir_typeck::expr_use_visitor::PlaceWithHirId; 🔒

use rustc_lint::LateContext; 🔒

use rustc_middle::hir::nested_filter; 🔒

use rustc_middle::mir::FakeReadCause; 🔒

use rustc_middle::ty; 🔒

Structs

BindingUsageFinder

A [Visitor] providing are_params_used(), which can be used to check parameter binding usage within a Body.

MutVarsDelegate 🔒

ParamBindingIdCollector

A [Visitor] that collects all HirIds bound by visited patterns.

Functions

contains_return_break_continue_macro

Checks whether the given expression contains return, break, continue, or a macro call (which may itself contain any of those expressions).

contains_todo_unimplement_macro

Checks if the given expression contains macro call to todo!() or unimplemented!().

is_potentially_local_place

Checks whether it is possible that the given [Place] is the given local.

is_potentially_mutated

Checks whether it is possible that the given variable is mutated within the given [Expr].

is_todo_unimplemented_macro

Checks if the given expression is a macro call to todo!() or unimplemented!().

is_todo_unimplemented_stub

Checks if the given expression is a stub, i.e., a todo!() or unimplemented!() expression, or a block whose last expression is a todo!() or unimplemented!().

local_used_after_expr

Checks whether the given local is used after the given [Expr].

local_used_in

Checks whether the given Visitable (ex. an [Expr]) contains the given local.

mutated_variables

Returns a set of mutated local variable IDs, or None if mutations could not be determined.