hax_frontend_exporter

Trait IsMirKind

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

Required Methods§

Source

fn get_mir<'tcx, T>( tcx: TyCtxt<'tcx>, id: DefId, 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§