pub type StateWithBinder<'tcx> = State<Base<'tcx>, (), (), DefId, UnitBinder<'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>, ()>