Skip to main content

StateWithBinder

Type Alias StateWithBinder 

Source
pub type StateWithBinder<'tcx> = State<Base<'tcx>, DefId, UnitBinder<'tcx>>;

Aliased Type§

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

Fields§

§base: Base<'tcx>§owner: DefId§binder: Binder<TyCtxt<'tcx>, ()>