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 rustc::ty::RegionVid; |
use std::error::Error; |
use std::fmt::Debug; |
use std::fs; |
use std::fs::File; |
use std::io::Write; |
use std::path::Path; |
Structs
AllFacts |
[ Experimental ] The "facts" which are the basis of the NLL borrow analysis. |
FactWriter |
[ Experimental ]
|
Traits
FactCell |
[ Experimental ]
|
FactRow |
[ Experimental ]
|
Functions
write_row |
[ Experimental ]
|