Decision #719 — library/core/src/iter/traits/iterator.rs:2494
Status: unreached
Truth table
| row | c0 br 4926 | c1 br 4927 | outcome |
|---|
Independent-effect pairs
c0(branch4926): 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:2706 ← library/core/src/iter/adapters/filter.rs:98 ← library/core/src/iter/traits/iterator.rs:2971 ← library/core/src/iter/adapters/copied.rs:74c1(branch4927): DEAD view gap →<scry_segment::Segmentation>::leq· br_if