Decision #951 — library/core/src/ptr/non_null.rs:1717
Status: partial
Truth table
| row | c0 br 571 | c1 br 572 | c2 br 573 | outcome |
|---|
Independent-effect pairs
c0(branch571): DEAD view gap →scry_bits::BitsCong::reduce· br_table_target
inlined: lib.rs:2264 ← library/core/src/iter/adapters/enumerate.rs:80 ← library/core/src/slice/iter/macros.rs:180c1(branch572): PROVEDscry_bits::BitsCong::reduce· br_table_target
inlined: lib.rs:2264 ← library/core/src/iter/adapters/enumerate.rs:80 ← library/core/src/slice/iter/macros.rs:180c2(branch573): DEAD view gap →scry_bits::BitsCong::reduce· br_table_default
inlined: lib.rs:2264 ← library/core/src/iter/adapters/enumerate.rs:80 ← library/core/src/slice/iter/macros.rs:180