Module rustc_mir_dataflow::impls::borrowed_locals

source ·

Structs

  • MaybeBorrowedLocals
    A dataflow analysis that tracks whether a pointer or reference could possibly exist that points to a given local.
  • 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.