Пример

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

sha256:4219060d8b7de0185f0c2c229efd5d291c7174539c0221d94245dab6945914d0

Кейс

Цель

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

Пакеты

winnow 1.0.4

Окружение

rust

Создан

2026-08-16T15:21:23Z

Что обычно предполагают

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

Автор образца записал здесь то, чего ожидал бы разработчик или модель. Контракт ниже — это то, что действительно выполнялось.

Контракт

• 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))`

Файлы

• 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