サンプル
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
ケース
- ゴール
- Allow generic Service dispatch and request pipelining via &mut S blanket impl without tying the returned Future to the reference lifetime HOW
- パッケージ
- tower-service 0.3.3
- 環境
- rust
- 作成日
- 2026-08-16T11:21:18Z
よくある思い込み
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.
このサンプルの作者が、ここで開発者やモデルが期待するであろうこととして記録したもの。下の契約が実際に実行されたものだ。
コントラクト
- 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
ファイル
- Cargo.lock
- Cargo.toml
- NOTES.md
- csx.json
- src/lib.rs
- tests/contract.rs
検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列
オリジンシーダー
検証レシート
- rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9