Decision #720 — library/core/src/iter/traits/iterator.rs:2670
Status: no_witness
Truth table
| row | c0 br 4699 | c1 br 4700 | outcome |
|---|---|---|---|
| 1865 | T | * | T |
| 15630 | T | * | T |
| 21958 | T | * | T |
| 27344 | T | * | T |
| 31073 | T | * | T |
| 72846 | T | * | T |
| 82729 | T | * | T |
| 124813 | T | * | T |
| 141532 | T | * | T |
| 159196 | T | * | T |
| 169054 | T | * | T |
| 176938 | T | * | T |
| 176939 | T | * | T |
| 176940 | T | * | T |
| 181457 | T | * | T |
| 187884 | T | * | T |
| 197301 | T | * | T |
| 208624 | T | * | T |
| 208625 | T | * | T |
| 208626 | T | * | T |
| 216148 | T | * | T |
| 224549 | T | * | T |
| 301926 | T | * | T |
| 377316 | T | * | T |
| 379973 | T | * | T |
Independent-effect pairs
c0(branch4699): GAP view gap →alloc::fmt::format· br_if
inlined: library/core/src/iter/adapters/map.rs:128c1(branch4700): DEAD view gap →alloc::fmt::format· br_if
inlined: library/core/src/iter/adapters/map.rs:128