Module possible_borrower 

Re-exports

use super::possible_origin::PossibleOriginVisitor; 🔒

use super::transitive_relation::TransitiveRelation; 🔒

use crate::ty::is_copy; 🔒

use rustc_data_structures::fx::FxHashMap; 🔒

use rustc_index::bit_set::DenseBitSet; 🔒

use rustc_lint::LateContext; 🔒

use rustc_middle::mir::visit::Visitor as _; 🔒

use rustc_middle::mir; 🔒

use rustc_middle::mir::Mutability; 🔒

use rustc_middle::ty; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_middle::ty::TypeVisitor; 🔒

use rustc_mir_dataflow::impls::MaybeStorageLive; 🔒

use rustc_mir_dataflow::Analysis as _; 🔒

use rustc_mir_dataflow::ResultsCursor; 🔒

use std::borrow::Cow; 🔒

use std::ops::ControlFlow; 🔒

Structs

ContainsRegion 🔒

PossibleBorrowerMap

Result of PossibleBorrowerVisitor.

PossibleBorrowerVisitor 🔒

Collects the possible borrowers of each local. For example, b = &a; c = &b; will make b and (transitively) c possible borrowers of a.

Functions

rvalue_locals 🔒