Trait hax_frontend_exporter::mir_kinds::IsMirKind

source ·
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§

source

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§