Type Alias hax_frontend_exporter::state::StateWithOwner

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

Aliased Type

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

Fields

base: Base<'tcx>

thir: ()

mir: ()

owner_id: DefId

binder: ()

Implementations

impl<'tcx> StateWithOwner<'tcx>

pub fn new_from_state_and_id<S: BaseState<'tcx>>(s: &S, id: DefId) -> Self

impl<'tcx> StateWithOwner<'tcx>

pub fn from_under_owner<S: UnderOwnerState<'tcx>>(s: &S) -> Self