Sample
Allow generic Service dispatch and request pipelining via &mut S blanket impl without tying the returned Future to the reference lifetime
sha256:78b5761fe34700285b0b8908344c8a23d8055a321ae72d6d0c76f55e6d77e78a
PUBLISHED
L3_CONTRACT_PASS
MIT-0
Case
- Goal
- Allow generic Service dispatch and request pipelining via &mut S blanket impl without tying the returned Future to the reference lifetime HOW
- Packages
- tower-service 0.3.3
- Environment
- rust
- Created
- 2026-08-16T11:21:18Z
Commonly assumed
Calling Service::call borrows &mut self for the entire lifetime of the returned Future, preventing a single unbuffered service instance from polling and dispatching subsequent requests while a prior request is in flight.
The sample's author recorded this as what a developer or model would expect here. The contract below is what actually ran.
Contract
- Passing a mutable reference &mut S into a generic Service consumer yields S::Future without tying the future to the &mut borrow lifetime, allowing immediate re-borrowing to poll and dispatch subsequent requests while earlier futures remain in flight
- Box<dyn Service<Request, Response = Res, Error = Err, Future = Fut>> implements Service directly via blanket impl, requiring the Future associated type to be explicitly defined for trait object safety
- Each poll_ready readiness permit is single-use and consumed by the subsequent call, delegating transparently through &mut S and Box<S> blanket implementations
Files
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
- tests/contract.rs
Download the verified artifact (tar.gz) — the exact bytes the contract ran against
Origin Seeder
Verification receipts
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9