Trait rustc_borrowck::facts::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§
sourcefn enabled(tcx: TyCtxt<'_>) -> bool
fn enabled(tcx: TyCtxt<'_>) -> bool
Returns true
if there is a need to gather AllFacts
given the
current -Z
flags.