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>, ()>