Decision #639 — lib.rs:1763

Status: no_witness

Truth table

rowc0 br 4260c1 br 4261c2 br 4262outcome
191307T*FF
191308T*FF
196964T*FF
196965T*FF
203376T*FF
203377T*FF
208311T*FF
208312T*FF
208313T*FF
208314T*FF
215917T*FF
215918T*FF

Independent-effect pairs

All 3 conditions live in scry_analyze_core::const_expr_ref_func_targets — 3 br_if