Trait hax_frontend_exporter::IsMirKind

pub trait IsMirKind: Clone + Debug {
    // Required method
    fn get_mir<'tcx, T>(
        tcx: TyCtxt<'tcx>,
        id: LocalDefId,
        f: impl FnOnce(&Body<'tcx>) -> T,
    ) -> Option<T>;
}

Required Methods

fn get_mir<'tcx, T>( tcx: TyCtxt<'tcx>, id: LocalDefId, f: impl FnOnce(&Body<'tcx>) -> T, ) -> Option<T>

Object Safety

This trait is not object safe.

Implementors

impl IsMirKind for Built

impl IsMirKind for CTFE

impl IsMirKind for Elaborated

impl IsMirKind for Optimized

impl IsMirKind for Promoted