Decision #682 — library/core/src/option.rs:1163

Status: no_witness

Truth table

rowc0 br 4510c1 br 4511c2 br 4512outcome
1647FFTT
8607FFTT
15408FFTT

Independent-effect pairs