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 ]
|