Module rustc_mir::borrow_check::nll::facts[][src]

🔬 This is a nightly-only experimental API. (rustc_private)

this crate is being loaded from the sysroot, an unstable location; did you mean to load this crate from crates.io via Cargo.toml instead?

Re-exports

use borrow_check::location::LocationIndex;
use borrow_check::location::LocationTable;
use dataflow::indexes::BorrowIndex;
use polonius_engine::AllFacts as PoloniusAllFacts;
use polonius_engine::Atom;
use rustc::ty::RegionVid;
use rustc_data_structures::indexed_vec::Idx;
use std::error::Error;
use std::fmt::Debug;
use std::fs;
use std::fs::File;
use std::io::Write;
use std::path::Path;

Structs

FactWriter [
Experimental
]

Traits

AllFactsExt [
Experimental
]
FactCell [
Experimental
]
FactRow [
Experimental
]

Functions

write_row [
Experimental
]

Type Definitions

AllFacts [
Experimental
]