Decision #720 — library/core/src/slice/iter/macros.rs:25
Status: unreached
Truth table
| row | c0 br 4928 | c1 br 4929 | outcome |
|---|
Independent-effect pairs
c0(branch4928): DEAD view gap →<scry_segment::Segmentation>::leq· br_if
inlined: lib.rs:154 ← library/core/src/iter/traits/iterator.rs:3255 ← library/core/src/iter/traits/iterator.rs:3354 ← library/core/src/iter/traits/iterator.rs:2707 ← library/core/src/iter/adapters/filter.rs:165 ← library/core/src/iter/adapters/copied.rs:81c1(branch4929): DEAD view gap →<scry_segment::Segmentation>::leq· br_if
inlined: lib.rs:154 ← library/core/src/iter/traits/iterator.rs:3255 ← library/core/src/iter/traits/iterator.rs:3354 ← library/core/src/iter/traits/iterator.rs:2707 ← library/core/src/iter/adapters/filter.rs:165 ← library/core/src/iter/adapters/copied.rs:81