Module path_utils 

Re-exports

use std::ops::ControlFlow; 🔒

use rustc_abi::FieldIdx; 🔒

use rustc_data_structures::graph::dominators::Dominators; 🔒

use rustc_middle::mir::BasicBlock; 🔒

use rustc_middle::mir::Body; 🔒

use rustc_middle::mir::Location; 🔒

use rustc_middle::mir::Place; 🔒

use rustc_middle::mir::PlaceRef; 🔒

use rustc_middle::mir::ProjectionElem; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use tracing::debug; 🔒

use crate::borrow_set::BorrowData; 🔒

use crate::borrow_set::BorrowSet; 🔒

use crate::borrow_set::TwoPhaseActivation; 🔒

use crate::AccessDepth; 🔒

use crate::BorrowIndex; 🔒

use crate::places_conflict; 🔒

use crate::places_conflict; 🔒

Functions

borrow_of_local_data 🔒

Determines if a given borrow is borrowing local data This is called for all Yield expressions on movable coroutines

each_borrow_involving_path 🔒

Encapsulates the idea of iterating over every borrow that involves a particular path

is_active 🔒

is_upvar_field_projection 🔒

If place is a field projection, and the field is being projected from a closure type, then returns the index of the field being projected. Note that this closure will always be self in the current MIR, because that is the only time we directly access the fields of a closure type.