Decision #216 — library/core/src/slice/sort/shared/mod.rs:36

Status: no_witness

Truth table

rowc0 br 1758c1 br 1759c2 br 1760c3 br 1761outcome
84268FT*FF
84269*T*FF
85847FT*FF
85848*T*FF
87633FT*FF
87634*T*FF
89156FT*FF
89157FT*FF
89158*T*FF
89159*T*FF
90911FT*FF
90912*T*FF

Independent-effect pairs

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