rustc_borrowck::facts

Trait AllFactsExt

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

Required Methods§

Source

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

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

Source

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

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§