Module dataflow
rustc_
borrowck
1.84.0-dev
Module dataflow
Module Items
Structs
Functions
In crate rustc_
borrowck
Modules
borrow_set
borrowck_errors
constraints
consumers
dataflow
def_use
diagnostics
diags
facts
location
member_constraints
nll
path_utils
place_ext
places_conflict
polonius
prefixes
region_infer
renumber
session_diagnostics
type_check
universal_regions
used_muts
util
Structs
BorrowckInferCtxt
MirBorrowckCtxt
RootPlace
TyCtxtConsts
Enums
AccessDepth
ArtificialField
InitializationRequiringAction
LocalMutationIsAllowed
Overlap
ReadKind
ReadOrWrite
WriteKind
Statics
DEFAULT_LOCALE_RESOURCE
Functions
do_mir_borrowck
mir_borrowck
provide
rustc_borrowck
Module
dataflow
Copy item path
Settings
Help
Summary
Source
Structs
§
Borrow
Index
Borrowck
Domain
🔒
The transient state of the dataflow analyses used by the borrow checker.
Borrowck
Results
🔒
The results of the dataflow analyses used by the borrow checker.
Borrows
Borrows
stores the data used in the analyses that track the flow of borrows.
OutOf
Scope
Precomputer
🔒
Polonius
OutOf
Scope
Precomputer
🔒
Functions
§
calculate_
borrows_
out_
of_
scope_
at_
location