Type Definition rustc_mir::borrow_check::facts::AllFacts

pub type AllFacts = PoloniusFacts<RustcFacts>;

Trait Implementations

impl AllFactsExt for AllFacts

fn enabled(tcx: TyCtxt<'_>) -> bool

Return

fn write_to_dir(
    &self,
    dir: impl AsRef<Path>,
    location_table: &LocationTable
) -> Result<(), Box<dyn Error>>