Decision #877 — library/core/src/ptr/non_null.rs:1650
Status: unreached
Truth table
| row | c0 br 5843 | c1 br 5848 | outcome |
|---|
Independent-effect pairs
c0(branch5843): DEAD view gap →<scry_segment::Segmentation>::weak_store· br_if
inlined: lib.rs:137 ← lib.rs:91 ← library/core/src/slice/iter/macros.rs:180c1(branch5848): DEAD view gap →<scry_segment::Segmentation>::weak_store· br_if
inlined: lib.rs:91 ← library/core/src/slice/iter/macros.rs:180