rustc_borrowck - Rust (original) (raw)
Crate rustc_borrowck
Expand description
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.
dataflow 🔒
def_use 🔒
Borrow checker diagnostics.
nll 🔒
The entry point of the NLL borrow checker.
The borrowck rules for proving disjointness are applied from the “root” of the borrow forwards, iterating over “similar” projections in lockstep until we can prove overlap one way or another. Essentially, we treat Overlap as a monoid and report a conflict if the product ends up not being Disjoint.
polonius 🔒
Polonius analysis and support code:
prefixes 🔒
From the NLL RFC: “Shallow prefixes are found by stripping away fields, but stop at any dereference. So: writing a path like a is illegal if a.bis borrowed. But: writing a is legal if *a is borrowed, whether or not a is a shared or mutable reference. […] “
renumber 🔒
root_cx 🔒
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:
Indicates an outlives-constraint between a type or between two free regions declared on the closure.
Represents a ty::Ty for use in ClosureOutlivesSubject.
After we borrow check a closure, we are left with various requirements that we have inferred between the free regions that appear in the closure’s signature or on its field types. These requirements are then verified and proved by the closure’s creating function. This struct encodes those requirements.
PropagatedBorrowCheckResults 🔒
Data propagated to the typeck parent by nested items. This should always be empty for the typeck root.
Associate some local constants with the 'tcx lifetime
The subject of a ClosureOutlivesRequirement – that is, the thing that must outlive some region.
InitializationRequiringAction 🔒
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)
Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.
Perform the actual borrow checking.
Provider for query mir_borrowck. Similar to typeck, this must only be called for typeck roots which will then borrowck all nested bodies as well.