Decision #721 — library/core/src/iter/traits/iterator.rs:2493
Status: unreached
Truth table
| row | c0 br 4933 | c1 br 4934 | c2 br 4935 | outcome |
|---|
Independent-effect pairs
c0(branch4933): 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: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(branch4934): 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:2706 ← library/core/src/iter/adapters/filter.rs:98 ← library/core/src/iter/traits/iterator.rs:2971 ← library/core/src/iter/adapters/copied.rs:74c2(branch4935): 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:2706 ← library/core/src/iter/adapters/filter.rs:98 ← library/core/src/iter/traits/iterator.rs:2971 ← library/core/src/iter/adapters/copied.rs:74