Decision #193 — library/core/src/option.rs:745

Status: unreached

Truth table

rowc0 br 1624c1 br 1625outcome

Independent-effect pairs