Struct CrateChecker 

struct CrateChecker<'genv, 'tcx> {
    genv: GlobalEnv<'genv, 'tcx>,
    cache: FixQueryCache,
}

Fields

genv: GlobalEnv<'genv, 'tcx>

cache: FixQueryCache

Implementations

impl<'genv, 'tcx> CrateChecker<'genv, 'tcx>

fn new(genv: GlobalEnv<'genv, 'tcx>) -> Self

pub(crate) fn encode_flux_items_in_lean(&self) -> Result<(), Error>

fn matches_def(&self, def_id: MaybeExternId, def: &str) -> bool

fn matches_file_path<F>(&self, def_id: MaybeExternId, matcher: F) -> bool

where F: Fn(&Path) -> bool,

fn matches_pos(&self, def_id: MaybeExternId, line: usize, col: usize) -> bool

fn is_included(&self, def_id: MaybeExternId) -> bool

Check whether the def_id (or the file where def_id is defined) is in the include pattern, and conservatively return true if anything unexpected happens.

fn check_def_catching_bugs( &mut self, def_id: LocalDefId, ) -> Result<(), ErrorGuaranteed>

fn check_def(&mut self, def_id: LocalDefId) -> Result<(), ErrorGuaranteed>