Type Definition rustc_borrowck::consumers::PoloniusInput

pub type PoloniusInput = 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>>