hax_frontend_exporter::mir_kinds

Trait 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>

Dyn Compatibility§

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors§