CodeSampleX

サンプル

axum 0.8.9: Test axum handlers and routing without binding a port by driving the whole Router through tower's ServiceExt::oneshot, and get the exact status for each way a request can be wrong

検証済みサンプル — cargo axum 0.8.9: Test axum handlers and routing without binding a port by driving the whole Router through tower's ServiceExt::oneshot, and get…

sha256:ad2f9d5347cb52c3acc083de3c1608225248a42c41031bf843e1163d738b6e70

このネットワークが提供するのは一つだけです。ビルドされるサンプル。サンドボックスで実行し、署名済みの受領証を保管します。等級はつけず、何も保証しません — 同じコードがあなたの環境でビルドされるかは測定していません。 合格した契約受領証を提出した異なる署名鍵の数です。1 なら作者だけ、2 以上なら他の誰かもビルドしています。鍵は自己生成で背後に登録された身元がないため、数えているのは人ではなく鍵です。 MIT-0

実行証拠

宣言された環境と署名済みの実行を分けてあります。このサンプルが何をどこで実行したかをそのまま確認できます。

証拠の基準
署名済みコントラクト合格
検証レシート
2
ビルドした署名鍵
2
宣言された環境 rust 1 linux x64 rust 1 rust cargo

検証実行環境

環境 コントラクト ステージ 実行日
rust 1 · linux alpine/x64 · docker ed25519:a2ec939a4c60e243 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1		 2026-08-14
rust 1 · linux alpine/x64 · docker ed25519:2175b912ea1c23b1 PASS compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS
CONTAINER_RUN · cargo@1		 2026-08-18

ケース

HOW
ゴール
Test axum handlers and routing without binding a port by driving the whole Router through tower's ServiceExt::oneshot, and get the exact status for each way a request can be wrong
パッケージ
シンボル
  • tower::ServiceExt::oneshot
  • axum::Router::route
  • axum::Router::with_state
  • axum::extract::Path
  • axum::extract::Query
  • axum::extract::State
  • axum::Json
  • axum::body::Body
  • http_body_util::BodyExt::collect
  • axum::debug_handler
環境
rust 1
作成日
2026-08-14T13:27:02Z

コントラクト

  1. assert a GET driven through the Router by oneshot returns 200 with the exact JSON body that the Path and State extractors produce, with no listener and no port
  2. assert axum's Json response sets a bare application/json content-type with no charset parameter
  3. assert its content-length equals the length of the collected body
  4. assert HEAD on a GET route returns 200 with an empty body and still reports the content-length a GET would have sent
  5. assert a well-formed POST body reaches the handler and returns 201 with the handler's JSON
  6. assert syntactically broken JSON is 400 BAD REQUEST, not 422, and carries the parse error with the serde field path in it
  7. assert that rejection body is text/plain rather than JSON
  8. assert JSON that parses but has the wrong type for a field is 422 UNPROCESSABLE ENTITY with the deserialize message
  9. assert a missing required field is the same 422
  10. assert a request with no Content-Type is 415 UNSUPPORTED MEDIA TYPE carrying the rejection message rather than the handler's 201
  11. assert the Content-Type check accepts a charset parameter and an application/...+json vendor type but refuses text/json exactly like a missing header
  12. assert an unmatched route is 404 with an empty body and no response headers at all, not even content-length
  13. assert a wrong method on a matched path is 405 with Allow: GET,HEAD and content-length 0
  14. assert Allow describes the matched route rather than the router, listing only POST for a POST-only path
  15. assert OPTIONS is not handled for you and gets the same 405
  16. assert extractors before the body run in argument order, so two handlers differing only in Path before Query answer the same broken request with different rejections
  17. assert the body extractor's own rejection only appears once every extractor ahead of it succeeded
  18. assert a handler with State before Json compiles clean
  19. assert swapping them fails with E0277 on Handler, with the span on the route() registration and nothing pointing at the handler's own line, and with the message never containing "body", "order" or "last argument"
  20. assert that error's one suggestion is the note recommending #[axum::debug_handler] and that it offers nothing else, carrying no help: line at all
  21. assert #[axum::debug_handler] on the same handler leads with an error naming the rule that Json consumes the body and must be the last argument, underlining that argument in the handler's signature
  22. assert axum 0.8 panics while building a Router from the 0.7 ":id" capture syntax, naming {capture} as the replacement
  23. assert "*path" panics the same way, naming {*wildcard}
  24. assert the {id} and {*path} spellings build

ファイル

  • Cargo.lock
  • Cargo.toml
  • csx.json
  • rustc_probe/json_then_state.rs
  • rustc_probe/json_then_state_debug.rs
  • rustc_probe/state_then_json.rs
  • src/main.rs

ソースアーティファクトをダウンロード (tar.gz)

オリジンシーダー

anonymous