Type Alias hax_frontend_exporter::state::StateWithThir

pub type StateWithThir<'tcx> = State<Base<'tcx>, RcThir<'tcx>, (), DefId, ()>;

Aliased Type

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

Fields

base: Base<'tcx>

thir: Rc<Thir<'tcx>>

mir: ()

owner_id: DefId

binder: ()

Implementations

impl<'tcx> StateWithThir<'tcx>

pub fn from_thir(base: Base<'tcx>, owner_id: DefId, thir: RcThir<'tcx>) -> Self