Decision #435 — library/core/src/option.rs:1365

Status: no_witness

Truth table

rowc0 br 2757c1 br 2758c2 br 2759outcome
91810FFFT
91811T**T
91812FFFT
91813FFTT
99587FFFT
99588T**T
99589FFFT
99590FFTT
108076FFFT
108077T**T
108078FFFT
108079FFTT
116154FFFT
116155T**T
116156FFFT
116157FFTT
176377FFFT
176378FFFT
196212FFFT
196213FFFT
196214FFFT
196215FFFT
215498T**T
215499FFTT

Independent-effect pairs

All 3 conditions live in <scry_analyze_core::Interp>::seq — 3 br_if