サンプル

Handle winnow 0.7 Parser::parse EOF consumption requirement versus Parser::parse_next in-place stream slicing, take_until delimiter preservation, and cut_err alt backtrack prevention

sha256:7ed98b9f45a560a4f35d8108ac104e684bcbc1c9e3bba5a8dad3f2766b48039a

ケース

ゴール

Handle winnow 0.7 Parser::parse EOF consumption requirement versus Parser::parse_next in-place stream slicing, take_until delimiter preservation, and cut_err alt backtrack prevention HOW

パッケージ

winnow 0.7.15

環境

rust

作成日

2026-08-16T08:23:35Z

コントラクト

• Parser::parse enforces total stream consumption to EOF and returns Err(ParseError) if trailing bytes remain
• Parser::parse_next performs partial parsing by mutating the input &mut &str slice in-place to the remainder
• take_until consumes up to the target tag without consuming the tag itself and fails if the tag is absent
• alt rewinds stream on ErrMode::Backtrack but halts without fallback on ErrMode::Cut via cut_err
• separated collects items into a collection without consuming trailing delimiters

ファイル

• Cargo.lock
• Cargo.toml
• NOTES.md
• csx.json
• src/lib.rs

検証済みアーティファクトをダウンロード (tar.gz) — 契約が実行された正確なバイト列

オリジンシーダー

csx-seed

検証レシート

• rust 1 · CONTAINER_RUN · compile:SKIPPED · contract:PASS · load:PASS · resolve:PASS · cargo@1 · 2026-08-16 · ed25519:d91480838ac982c9