Module rustc_mir_dataflow::source ·
- Borrowed 🔒
- A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local.
Visitorthat defines the transfer function for
- The set of locals that are borrowed at some point in the MIR body.