Module rustc_mir::borrow_check [−][src]
Expand description
This query borrow-checks the MIR to (further) ensure it is not broken.
Modules
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:
Structs
Enums
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)