Module borrowck

Expand description

MIR borrow checker, which is used in diagnostics like unused_mut

Structs§

MutabilityReason: Stores spans which implies that the local should be mutable.
ProjectionCase 🔒

all_mir_bodies 🔒
borrow_regions 🔒
ever_initialized_map 🔒: Returns a map from basic blocks to the set of locals that might be ever initialized before the start of the block. Only StorageDead can remove something from this map, and we ignore Uninit and drop and similar after initialization.
moved_out_of_ref 🔒
mutability_of_locals 🔒
partially_moved 🔒
place_case 🔒
push_mut_span 🔒
record_usage 🔒
record_usage_for_operand 🔒