Decision #963 — library/core/src/cmp.rs:1916
Status: unreached
Truth table
| row | c0 br 6238 | c1 br 6239 | outcome |
|---|
Independent-effect pairs
c0(branch6238): DEAD view gap →<scry_poly::Poly>::project· br_if
inlined: lib.rs:391 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900c1(branch6239): DEAD view gap →<scry_poly::Poly>::project· br_if
inlined: lib.rs:391 ← library/core/src/iter/range.rs:985 ← library/core/src/iter/range.rs:900