Module facts

rustc_borrowck::polonius::legacy

Module facts 

Source

Structs§

FactWriter 🔒
PoloniusRegionVid
A (kinda) newtype of RegionVid so we can implement Atom on it.
RustcFacts

Traits§

FactCell 🔒
FactRow 🔒
PoloniusFactsExt 🔒

Functions§

write_row 🔒

Type Aliases§

PoloniusFacts
PoloniusOutput