Decision #470 — library/core/src/slice/iter/macros.rs:284
Status: no_witness
Truth table
| row | c0 br 3085 | c1 br 3087 | outcome |
|---|---|---|---|
| 181153 | T | * | T |
| 187580 | T | * | T |
Independent-effect pairs
c0(branch3085): GAP view gap →scry_analyze_core::handle_memory_load· br_ifc1(branch3087): DEAD view gap →scry_analyze_core::handle_memory_load· br_if