Module borrowed_locals

rustc_mir_dataflow::impls

Module borrowed_locals 

Source

Structs§

MaybeBorrowedLocals
A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local. This analysis ignores fake borrows, so it should not be used by borrowck.
TransferFunction 🔒
A Visitor that defines the transfer function for MaybeBorrowedLocals.

Functions§

borrowed_locals
The set of locals that are borrowed at some point in the MIR body.