Decision #541 — library/alloc/src/vec/mod.rs:2942
Status: no_witness
Truth table
| row | c0 br 3822 | c1 br 3823 | c2 br 3824 | c3 br 3825 | c4 br 3827 | outcome |
|---|---|---|---|---|---|---|
| 1196 | * | T | * | * | F | T |
| 1197 | * | T | * | * | F | T |
| 1198 | * | T | * | * | F | T |
| 1199 | * | T | * | * | F | T |
| 1200 | * | T | * | * | F | T |
| 8156 | * | T | * | * | F | T |
| 8157 | * | T | * | * | F | T |
| 8158 | * | T | * | * | F | T |
| 8159 | * | T | * | * | F | T |
| 8160 | * | T | * | * | F | T |
| 14957 | * | T | * | * | F | T |
| 14958 | * | T | * | * | F | T |
| 14959 | * | T | * | * | F | T |
| 14960 | * | T | * | * | F | T |
| 14961 | * | T | * | * | F | T |
| 21697 | * | T | * | * | F | T |
| 24440 | * | T | * | * | F | T |
| 27083 | * | T | * | * | F | T |
| 30663 | F | * | * | * | * | T |
| 30664 | T | F | F | F | * | T |
| 30665 | * | F | F | F | * | T |
| 30666 | * | T | * | * | F | T |
| 51518 | F | * | * | * | * | T |
| 51519 | T | F | F | F | * | T |
| 51520 | * | F | F | F | * | T |
| 51521 | * | T | * | * | F | T |
| 72442 | F | * | * | * | * | T |
| 72443 | T | F | F | F | * | T |
| 72444 | * | F | F | F | * | T |
| 72445 | * | T | * | * | F | T |
| 82325 | F | * | * | * | * | T |
| 82326 | T | F | F | F | * | T |
| 82327 | * | F | F | F | * | T |
| 82328 | * | T | * | * | F | T |
| 92050 | * | T | * | * | F | T |
| 92051 | * | T | * | * | F | T |
| 92052 | * | T | * | * | F | T |
| 99879 | * | T | * | * | F | T |
| 99880 | * | T | * | * | F | T |
| 99881 | * | T | * | * | F | T |
| 108368 | * | T | * | * | F | T |
| 108369 | * | T | * | * | F | T |
| 108370 | * | T | * | * | F | T |
| 116394 | * | T | * | * | F | T |
| 116395 | * | T | * | * | F | T |
| 116396 | * | T | * | * | F | T |
| 124400 | F | * | * | * | * | T |
| 124401 | T | F | F | F | * | T |
| 124402 | * | F | F | F | * | T |
| 124403 | * | T | * | * | F | T |
| 141119 | F | * | * | * | * | T |
| 141120 | T | F | F | F | * | T |
| 141121 | * | F | F | F | * | T |
| 141122 | * | T | * | * | F | T |
| 158408 | * | T | * | * | F | T |
| 158409 | * | T | * | * | F | T |
| 158410 | * | T | * | * | F | T |
| 158411 | * | T | * | * | F | T |
| 158412 | * | T | * | * | F | T |
| 158413 | * | T | * | * | F | T |
| 168266 | * | T | * | * | F | T |
| 168267 | * | T | * | * | F | T |
| 168268 | * | T | * | * | F | T |
| 168269 | * | T | * | * | F | T |
| 168270 | * | T | * | * | F | T |
| 168271 | * | T | * | * | F | T |
| 176553 | * | T | * | * | F | T |
| 176554 | * | T | * | * | F | T |
| 176555 | * | T | * | * | F | T |
| 181202 | * | T | * | * | F | T |
| 184521 | * | T | * | * | F | T |
| 187629 | * | T | * | * | F | T |
| 191166 | * | T | * | * | F | T |
| 196527 | * | T | * | * | F | T |
| 196528 | * | T | * | * | F | T |
| 196529 | * | T | * | * | F | T |
| 203289 | * | T | * | * | F | T |
| 207840 | * | T | * | * | F | T |
| 207841 | * | T | * | * | F | T |
| 215659 | F | F | F | F | * | T |
| 215660 | * | T | * | * | F | T |
| 224124 | F | * | * | * | * | T |
| 224125 | T | F | F | F | * | T |
| 224126 | * | F | F | F | * | T |
| 224127 | * | T | * | * | F | T |
| 301501 | F | * | * | * | * | T |
| 301502 | T | F | F | F | * | T |
| 301503 | * | F | F | F | * | T |
| 301504 | * | T | * | * | F | T |
| 377082 | * | T | * | * | F | T |
| 379739 | * | T | * | * | F | T |
| 382623 | * | T | * | * | F | T |
Independent-effect pairs
c0(branch3822): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_ifc1(branch3823): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3438 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c2(branch3824): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3438 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c3(branch3825): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3438 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56c4(branch3827): GAP view gap →scry_analyze_core::stamp_obligation_ids· br_if
inlined: lib.rs:3439 ← library/alloc/src/string.rs:1107 ← library/alloc/src/vec/mod.rs:3567 ← library/alloc/src/vec/spec_extend.rs:56