E0071: refusal_discarded

E0071 refusal_discarded — a refusal() value that is not returned.

A compile-time error of soma check, the checker of the Soma programming language (soma explain E0071).

The rule

A handler that can answer with refusal(...) returns that value instead of raising, and a refusal does not roll the caller back. Calling it as a bare statement throws the refusal away; soma check warns about this under the code W0014 (habit_warning). Bind the result (let r = book(a, guest)) and return it, or check r._status.

When you see it

soma check reports this rule (kind refusal_discarded) as the warning W0014 habit_warning, never as E0071: the checker files every "habit" issue under W0014.