Decision #722 — library/core/src/slice/iter/macros.rs:28
Status: unreached
Truth table
| row | c0 br 4937 | c1 br 4938 | outcome |
|---|
Independent-effect pairs
c0(branch4937): DEAD view gap →<scry_segment::Segmentation>::join· br_if
inlined: lib.rs:164 ← library/core/src/iter/traits/iterator.rs:3292 ← library/core/src/iter/traits/iterator.rs:3416 ← library/core/src/iter/traits/iterator.rs:2707 ← library/core/src/iter/adapters/filter.rs:165 ← library/core/src/iter/adapters/copied.rs:81c1(branch4938): DEAD view gap →<scry_segment::Segmentation>::join· br_if
inlined: lib.rs:164 ← library/core/src/iter/traits/iterator.rs:3292 ← library/core/src/iter/traits/iterator.rs:3416 ← library/core/src/iter/traits/iterator.rs:2707 ← library/core/src/iter/adapters/filter.rs:165 ← library/core/src/iter/adapters/copied.rs:81