Trait rustc_mir::borrow_check::facts::AllFactsExt

pub(crate) trait AllFactsExt {
    pub(crate) fn enabled(tcx: TyCtxt<'_>) -> bool;
    pub(crate) fn write_to_dir(
        &self, 
        dir: impl AsRef<Path>, 
        location_table: &LocationTable
    ) -> Result<(), Box<dyn Error>>;
}

Required methods

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

Returns true if there is a need to gather AllFacts given the current -Z flags.

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

Loading content...

Implementations on Foreign Types

impl AllFactsExt for PoloniusFacts<RustcFacts>

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

Return

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

Loading content...

Implementors

Loading content...