Module facts
rustc_
borrowck
1.85.0
(4d91de4e4 2025-02-17)
Module facts
Module Items
Structs
Traits
Functions
Type Aliases
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
facts
Copy item path
Settings
Help
Summary
Source
Structs
§
Fact
Writer
🔒
Polonius
Region
Vid
A (kinda) newtype of
RegionVid
so we can implement
Atom
on it.
Rustc
Facts
Traits
§
AllFacts
Ext
🔒
Fact
Cell
🔒
FactRow
🔒
Functions
§
write_
row
🔒
Type Aliases
§
AllFacts
Polonius
Output