usecrate::Budget;/// A scheduler reservation retaining its exact turn, driver and lane brands.
pubtraitQuota{typeBudget<'a, Lane>: Budget
whereSelf:'a;fnremaining(&self)->usize;fnbudget<Lane>(&self, limit:usize)->Self::Budget<'_, Lane>;/// Returns the reservation before work resumes outside this reactor scope.
fnrefund(self);}