This query borrow-checks the MIR to (further) ensure it is not broken.
A public API provided for the Rust compiler consumers. This file provides API for compiler consumers.
Borrow checker diagnostics.
The entry point of the NLL borrow checker.
From the NLL RFC: “The deep [aka ‘supporting’] prefixes for an place are formed by stripping away fields and derefs, except that we stop when we reach the deref of a shared reference. […] “
This pass type-checks the MIR to ensure it is not broken.
Code to extract the universally quantified regions declared on a function and the relationships between them. For example:
Bodywith information computed by the borrow checker. This struct is intended to be consumed by compiler consumers.
Associate some local constants with the
When checking permissions for a place access, this flag is used to indicate that an immutable local place can be mutated.
The degree of overlap between 2 places for borrow-checking.
Kind of read access to a value (For informational purposes only)
Kind of access to a value: read or write (For informational purposes only)
Kind of write access to a value (For informational purposes only)