Decision #549 — library/alloc/src/raw_vec/mod.rs:614
Status: no_witness
Truth table
| row | c0 br 3637 | c1 br 3638 | outcome |
|---|---|---|---|
| 903 | T | * | T |
| 904 | T | * | T |
| 905 | T | * | T |
| 906 | F | T | T |
| 4696 | T | * | T |
| 4697 | T | * | T |
| 4698 | T | * | T |
| 4699 | F | T | T |
| 8427 | T | * | T |
| 8428 | T | * | T |
| 8429 | T | * | T |
| 8430 | F | T | T |
Independent-effect pairs
c0(branch3637): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1539 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1040 ← library/alloc/src/raw_vec/mod.rs:309c1(branch3638): GAP view gap →scry_analyze_core::analyze· br_if
inlined: lib.rs:1539 ← library/alloc/src/vec/mod.rs:1004 ← library/alloc/src/vec/mod.rs:1044 ← library/alloc/src/vec/mod.rs:2052 ← library/alloc/src/raw_vec/mod.rs:296 ← library/alloc/src/raw_vec/mod.rs:609