Type Alias hax_frontend_exporter::state::StateWithMir

pub type StateWithMir<'tcx> = State<Base<'tcx>, (), RcMir<'tcx>, DefId, ()>;

Aliased Type

struct StateWithMir<'tcx> {
    pub base: Base<'tcx>,
    pub thir: (),
    pub mir: Rc<Body<'tcx>>,
    pub owner_id: DefId,
    pub binder: (),
}

Fields

base: Base<'tcx>

thir: ()

mir: Rc<Body<'tcx>>

owner_id: DefId

binder: ()

Implementations

impl<'tcx> StateWithMir<'tcx>

pub fn new_from_mir( tcx: TyCtxt<'tcx>, options: Options, mir: Body<'tcx>, owner_id: DefId, ) -> Self