hax_frontend_exporter::state

Trait HasMir

Source 
pub trait HasMir<'tcx> {
    // Required method
    fn mir(&self) -> RcMir<'tcx>;
}

Required Methods§

Source

fn mir(&self) -> RcMir<'tcx>

Implementors§

Source§

impl<'tcx, Base, OwnerId, Thir, Binder, Ty> HasMir<'tcx> for State<Base, OwnerId, Thir, RcMir<'tcx>, Binder, Ty>