Type Alias hax_frontend_exporter::state::StateWithBase

pub type StateWithBase<'tcx> = State<Base<'tcx>, (), (), (), ()>;

Aliased Type

struct StateWithBase<'tcx> {
    pub base: Base<'tcx>,
    pub thir: (),
    pub mir: (),
    pub owner_id: (),
    pub binder: (),
}

Fields

base: Base<'tcx>

thir: ()

mir: ()

owner_id: ()

binder: ()

Implementations

impl<'tcx> StateWithBase<'tcx>

pub fn new(tcx: TyCtxt<'tcx>, options: Options) -> Self