Decision #143 — library/core/src/slice/iter/macros.rs:284

Status: no_witness

Truth table

rowc0 br 856c1 br 859outcome
40656FTT
40657FTT
40658FTT
40659FTT
43624FTT
43625FTT
43626FTT
43627FTT
47077FTT
47078FTT
47079FTT
47080FTT
50196FTT
50197FTT
50198FTT
50199FTT
79253*TT
79254*TT

Independent-effect pairs