Decision #98 — library/core/src/option.rs:1336

Status: no_witness

Truth table

rowc0 br 575c1 br 576outcome
222136FFT
222137FTT
222138*FT
222139FTT
222140*FT
222141FTT
222142*FT
222143*TT
299513FFT
299514FTT
299515*FT
299516FTT
299517*FT
299518FTT
299519*FT
299520*TT

Independent-effect pairs