Struct RefineMode 

pub(crate) struct RefineMode {
    bb_envs: FxHashMap<CheckerId, FxHashMap<BasicBlock, BasicBlockEnv>>,
}

Fields

bb_envs: FxHashMap<CheckerId, FxHashMap<BasicBlock, BasicBlockEnv>>

Trait Implementations

impl Mode for RefineMode

const NAME: &str = "refine"

fn enter_basic_block<'ck, 'genv, 'tcx>( ck: &mut Checker<'ck, 'genv, 'tcx, RefineMode>, infcx: &mut InferCtxt<'_, 'genv, 'tcx>, bb: BasicBlock, ) -> TypeEnv<'ck>

fn check_goto_join_point( ck: &mut Checker<'_, '_, '_, RefineMode>, infcx: InferCtxt<'_, '_, '_>, env: TypeEnv<'_>, terminator_span: Span, target: BasicBlock, ) -> Result<bool, CheckerError>

fn clear(_ck: &mut Checker<'_, '_, '_, RefineMode>, _bb: BasicBlock)