pub type StateWithBinder<'tcx> = State<Base<'tcx>, DefId, (), (), UnitBinder<'tcx>, ()>;
Aliased Type§
pub struct StateWithBinder<'tcx> {
pub base: Base<'tcx>,
pub owner_id: DefId,
pub thir: (),
pub mir: (),
pub binder: Binder<TyCtxt<'tcx>, ()>,
pub ty: (),
}
Fields§
§base: Base<'tcx>
§owner_id: DefId
§thir: ()
§mir: ()
§binder: Binder<TyCtxt<'tcx>, ()>
§ty: ()