Decision #594 — library/alloc/src/raw_vec/mod.rs:492
Status: partial
Truth table
| row | c0 br 3909 | c1 br 3910 | outcome |
|---|---|---|---|
| 16667 | F | T | T |
| 26147 | F | T | T |
| 48121 | F | T | T |
| 48122 | * | T | T |
| 48123 | * | F | F |
| 48124 | F | T | T |
| 48125 | F | T | T |
| 48126 | * | F | F |
| 48127 | F | T | T |
| 48128 | * | T | T |
| 52292 | F | T | T |
| 52293 | * | T | T |
| 52294 | * | F | F |
| 52295 | F | T | T |
| 52296 | F | T | T |
| 52297 | * | F | F |
| 52298 | F | T | T |
| 52299 | * | T | T |
| 56830 | F | T | T |
| 56831 | * | T | T |
| 56832 | * | F | F |
| 56833 | F | T | T |
| 56834 | F | T | T |
| 56835 | * | F | F |
| 56836 | F | T | T |
| 56837 | * | T | T |
| 61045 | F | T | T |
| 61046 | * | T | T |
| 61047 | * | F | F |
| 61048 | F | T | T |
| 61049 | F | T | T |
| 61050 | * | F | F |
| 61051 | F | T | T |
| 61052 | * | T | T |
| 65263 | F | T | T |
| 76776 | F | T | T |
| 102755 | F | T | T |
| 109101 | F | T | T |
| 114698 | F | T | T |
| 163316 | F | T | T |
| 164887 | F | T | T |
| 166609 | F | T | T |
Independent-effect pairs
c0(branch3909): GAP view gap →<[u32]>::contains· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188c1(branch3910): PROVED — pair rows16667,48123(masking)<[u32]>::contains· br_if
inlined: library/alloc/src/raw_vec/mod.rs:188