Decision #295 — library/core/src/iter/adapters/flatten.rs:523
Status: no_witness
Truth table
| row | c0 br 2183 | c1 br 2184 | outcome |
|---|---|---|---|
| 840 | F | * | F |
| 3880 | F | * | F |
| 6825 | F | * | F |
Independent-effect pairs
c0(branch2183): GAP view gap →scry_analyze_core::analyze· br_ifc1(branch2184): DEAD view gap →scry_analyze_core::analyze· br_if