Decision #951 — library/alloc/src/raw_vec/mod.rs:878
Status: no_witness
Truth table
| row | c0 br 6187 | c1 br 6188 | outcome |
|---|---|---|---|
| 73515 | F | F | F |
| 73516 | F | F | F |
| 73517 | F | F | F |
| 73518 | F | F | F |
| 83398 | F | F | F |
| 83399 | F | F | F |
| 83400 | F | F | F |
| 83401 | F | F | F |
| 240093 | F | F | F |
| 240094 | F | F | F |
| 240095 | F | F | F |
| 240096 | F | F | F |
| 240097 | F | F | F |
| 240098 | F | F | F |
| 240099 | F | F | F |
| 240100 | F | F | F |
| 317470 | F | F | F |
| 317471 | F | F | F |
| 317472 | F | F | F |
| 317473 | F | F | F |
| 317474 | F | F | F |
| 317475 | F | F | F |
| 317476 | F | F | F |
| 317477 | F | F | F |
Independent-effect pairs
c0(branch6187): GAP view gap →<scry_poly::Poly>::widen· br_if
inlined: lib.rs:321 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823c1(branch6188): GAP view gap →<scry_poly::Poly>::widen· br_if
inlined: lib.rs:321 ← library/core/src/ptr/mod.rs:823 ← library/alloc/src/vec/mod.rs:4303 ← library/core/src/ptr/mut_ptr.rs:1382 ← library/core/src/ptr/mod.rs:818 ← library/core/src/ptr/mod.rs:823