Decision #319 — src/readers.rs:200
Status: no_witness
Truth table
| row | c0 br 2098 | c1 br 2106 | c2 br 2119 | outcome |
|---|---|---|---|---|
| 963 | T | T | * | T |
| 4003 | T | T | * | T |
| 6952 | T | T | * | T |
Independent-effect pairs
c0(branch2098): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1214 ← lib.rs:4264 ← library/core/src/iter/adapters/flatten.rs:227 ← library/core/src/iter/adapters/flatten.rs:855 ← library/core/src/iter/adapters/fuse.rs:50 ← library/core/src/iter/adapters/fuse.rs:301 ← library/core/src/iter/adapters/fuse.rs:469 ← library/core/src/ops/function.rs:250c1(branch2106): GAP view gap →scry_analyze_core::analyze· br_ifc2(branch2119): DEAD view gap →scry_analyze_core::analyze· br_if