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

Dyn Compatibility

This trait is dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors

impl<'tcx> MirLint<'tcx> for CheckCallRecursion

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

impl<'tcx> MirLint<'tcx> for CheckDropRecursion

impl<'tcx> MirLint<'tcx> for CheckForceInline

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

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

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

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

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