Decision #572 — library/core/src/option.rs:743

Status: unreached

Truth table

rowc0 br 3938c1 br 3939outcome

Independent-effect pairs