Decision #539 — library/alloc/src/vec/mod.rs:3064
Status: no_witness
Truth table
| row | c0 br 3769 | c1 br 3772 | outcome |
|---|---|---|---|
| 1192 | F | * | T |
| 1193 | F | F | T |
| 8152 | F | * | T |
| 8153 | F | F | T |
| 14953 | F | * | T |
| 14954 | F | F | T |
| 21695 | F | F | T |
| 24438 | F | F | T |
| 27081 | F | F | T |
| 30661 | F | F | T |
| 51516 | F | F | T |
| 72440 | F | F | T |
| 82323 | F | F | T |
| 92044 | F | * | T |
| 92045 | F | * | T |
| 92046 | F | F | T |
| 99873 | F | * | T |
| 99874 | F | * | T |
| 99875 | F | F | T |
| 108362 | F | * | T |
| 108363 | F | * | T |
| 108364 | F | F | T |
| 116388 | F | * | T |
| 116389 | F | * | T |
| 116390 | F | F | T |
| 124398 | F | F | T |
| 141117 | F | F | T |
| 158396 | F | * | T |
| 158397 | F | * | T |
| 158398 | F | * | T |
| 158399 | F | * | T |
| 158400 | F | * | T |
| 158401 | F | F | T |
| 168254 | F | * | T |
| 168255 | F | * | T |
| 168256 | F | * | T |
| 168257 | F | * | T |
| 168258 | F | * | T |
| 168259 | F | F | T |
| 176547 | F | * | T |
| 176548 | F | * | T |
| 176549 | F | F | T |
| 181200 | F | F | T |
| 184519 | F | F | T |
| 187627 | F | F | T |
| 191164 | F | F | T |
| 196521 | F | * | T |
| 196522 | F | * | T |
| 196523 | F | F | T |
| 203287 | F | F | T |
| 207836 | F | * | T |
| 207837 | F | F | T |
| 215657 | F | F | T |
| 224122 | F | F | T |
| 301499 | F | F | T |
| 377080 | F | F | T |
| 379737 | F | F | T |
| 382621 | F | F | T |
Independent-effect pairs
c0(branch3769): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3351c1(branch3772): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3359 ← library/alloc/src/vec/mod.rs:3089