Decision #503 — library/alloc/src/vec/spec_from_iter_nested.rs:61
Status: no_witness
Truth table
| row | c0 br 3676 | c1 br 3677 | outcome |
|---|---|---|---|
| 1016 | T | * | T |
| 7976 | T | * | T |
| 14777 | T | * | T |
| 21656 | T | * | T |
| 24399 | T | * | T |
| 27042 | T | * | T |
| 30612 | T | * | T |
| 51467 | T | * | T |
| 72392 | T | * | T |
| 82275 | T | * | T |
| 91938 | T | * | T |
| 99767 | T | * | T |
| 108256 | T | * | T |
| 116282 | T | * | T |
| 124349 | T | * | T |
| 141068 | T | * | T |
| 158189 | T | * | T |
| 168047 | T | * | T |
| 176442 | T | * | T |
| 181160 | T | * | T |
| 184479 | T | * | T |
| 187587 | T | * | T |
| 191121 | T | * | T |
| 196393 | T | * | T |
| 203248 | T | * | T |
| 207733 | T | * | T |
| 215603 | T | * | T |
| 224071 | T | * | T |
| 301448 | T | * | T |
| 377043 | T | * | T |
| 379700 | T | * | T |
| 382584 | T | * | T |
Independent-effect pairs
c0(branch3676): GAP view gap →scry_analyze_core::compute_float_facts· br_ifc1(branch3677): DEAD view gap →scry_analyze_core::compute_float_facts· br_if