Trait MirLint

pub(crate) trait MirLint<'tcx> {
    // Required method
    fn run_lint(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>);

    // Provided methods
    fn name(&self) -> &'static str { ... }
    fn is_enabled(&self, _sess: &Session) -> bool { ... }
}

Just like MirPass, except it cannot mutate Body, and MIR dumping is disabled (via the Lint adapter).

Required Methods

fn run_lint(&self, tcx: TyCtxt<'tcx>, body: &Body<'tcx>)

Provided Methods

fn name(&self) -> &'static str

fn is_enabled(&self, _sess: &Session) -> bool

Implementors

impl<'tcx> MirLint<'tcx> for CheckConstItemMutation

impl<'tcx> MirLint<'tcx> for CheckPackedRef

impl<'tcx> MirLint<'tcx> for CheckUndefinedTransmutes

impl<'tcx> MirLint<'tcx> for FunctionItemReferences

impl<'tcx> MirLint<'tcx> for KnownPanicsLint

impl<'tcx> MirLint<'tcx> for CheckLiveDrops

impl<'tcx> MirLint<'tcx> for SanityCheck