Crate rustc_borrowck
source ·Expand description
This query borrow-checks the MIR to (further) ensure it is not broken.
Modules
- A public API provided for the Rust compiler consumers. This file provides API for compiler consumers.
- dataflow 🔒
- def_use 🔒
- Borrow checker diagnostics.
- error 🔒
- facts 🔒
- location 🔒
- nll 🔒The entry point of the NLL borrow checker.
- prefixes 🔒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. […] “
- renumber 🔒
- 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
- A
Body
with information computed by the borrow checker. This struct is intended to be consumed by compiler consumers. - Associate some local constants with the
'tcx
lifetime - Upvar 🔒
Enums
- When checking permissions for a place access, this flag is used to indicate that an immutable local place can be mutated.
- Overlap 🔒The degree of overlap between 2 places for borrow-checking.
- ReadKind 🔒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)
Statics
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- CALLSITE 🔒
- Raw content of Fluent resource for this crate, generated by
fluent_messages
macro, imported byrustc_driver
to include all crates’ resources in one bundle. - META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
- META 🔒
Functions
- Perform the actual borrow checking.