Module accesses
rustc_
borrowck
1.85.0
(4d91de4e4 2025-02-17)
Module accesses
Module Items
Structs
Functions
In rustc_
borrowck::
polonius::
legacy
Modules
accesses
facts
loan_invalidations
loan_kills
location
Functions
emit_drop_facts
emit_facts
emit_move_facts
emit_outlives_facts
emit_universal_region_facts
rustc_borrowck
::
polonius
::
legacy
Module
accesses
Copy item path
Settings
Help
Summary
Source
Structs
§
Access
Facts
Extractor
🔒
MIR visitor extracting point-wise facts about accesses.
Functions
§
emit_
access_
facts
🔒
Emit polonius facts for variable defs, uses, drops, and path accesses.