Type Alias hax_frontend_exporter::state::StateWithBinder

pub type StateWithBinder<'tcx> = State<Base<'tcx>, (), (), DefId, Binder<'tcx, ()>>;

Aliased Type

struct StateWithBinder<'tcx> {
    pub base: Base<'tcx>,
    pub thir: (),
    pub mir: (),
    pub owner_id: DefId,
    pub binder: Binder<TyCtxt<'tcx>, ()>,
}

Fields

base: Base<'tcx>

thir: ()

mir: ()

owner_id: DefId

binder: Binder<TyCtxt<'tcx>, ()>