Beispiel

Show that `default_value` does not convert a parser failure into the type default.

sha256:4219060d8b7de0185f0c2c229efd5d291c7174539c0221d94245dab6945914d0

Fall

Ziel

Show that `default_value` does not convert a parser failure into the type default. HOW

Pakete

winnow 1.0.4

Umgebung

rust

Erstellt

2026-08-16T15:21:23Z

Häufige Annahme

Calling `Parser::default_value()` makes a parser yield the default value whenever the wrapped parser fails.

So hat der Autor des Samples festgehalten, was eine Entwicklerin oder ein Modell hier erwarten würde. Der Vertrag darunter ist das, was tatsächlich lief.

Contract

• assert `alpha1.default_value()` on '123' returns `Err(ErrMode::Backtrack(_))` instead of falling back to `0`
• assert `alpha1.default_value()` on 'abc' returns `Ok(("", 0))`

Dateien

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

Verifiziertes Artefakt herunterladen (tar.gz) — genau die Bytes, gegen die der Contract lief

Ursprungs-Seeder

csx-seed

Verifizierungsbelege

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