Repository navigation
prelude: unwrap/unwrap_result fall through (return nothing) on None/Err #134
Description
Part of #128.
Interpreter-era correctness bug found during #128 triage: prelude.affine's unwrap and unwrap_result only println on None/Err and then fall through returning nothing (// TODO: panic!() once implemented).
Task: make these actually diverge (panic/abort) on the failure arm so the typed return is sound. Add a test asserting the panic path.
Independent of the other sub-items.
Activity
fix(stdlib): prelude unwrap/unwrap_result diverge via panic (#134) (#150
fix(stdlib): single-ownership dedup of prelude/option/result (#133)
fix(stdlib): single-ownership dedup of prelude/option/result (#133) (#…