Module facts 

Re-exports

use std::error::Error; 🔒

use std::fmt::Debug; 🔒

use std::fmt::Debug; 🔒

use std::fs; 🔒

use std::fs::File; 🔒

use std::io::Write; 🔒

use std::path::Path; 🔒

use polonius_engine::AllFacts; 🔒

use polonius_engine::Atom; 🔒

use polonius_engine::Output; 🔒

use rustc_macros::extension; 🔒

use rustc_middle::mir::Local; 🔒

use rustc_middle::ty::RegionVid; 🔒

use rustc_middle::ty::TyCtxt; 🔒

use rustc_mir_dataflow::move_paths::MovePathIndex; 🔒

use super::LocationIndex; 🔒

use super::PoloniusLocationTable; 🔒

use crate::BorrowIndex; 🔒

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