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.
Part of #128.
Interpreter-era correctness bug found during #128 triage:
prelude.affine'sunwrapandunwrap_resultonlyprintlnonNone/Errand 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.