failure.outcome_success_value_required

function invalid_success(key: LookupKey) -> LookupResult {    return match lookup(key) {        success(value) -> propagate        LookupMissing -> "missing"        LookupRefused -> "refused"    }}

error: The success arm has no failure to pass on --> main.jadpo:3:9  |3 |         success(value) -> propagate  |         ^^^^^^^^^^^^^^^^^^^^^^^^^^^ `propagate` on success  reason: `propagate` passes a failure arm's failure on to the caller; the success arm has a value, which it gives, or a failure it `reject`s.  next: Give the success value, or `reject` a failure (agent)  rule: failure.outcome_success_value_required  help: https://jadpo.dev/docs/errors/failure.outcome_success_value_requiredcheck failed: 1 error, 2 files