Decision #967 — library/core/src/ptr/mod.rs:1933
Status: no_witness
Truth table
| row | c0 br 6956 | c1 br 6957 | outcome |
|---|---|---|---|
| 1917 | F | F | F |
| 1918 | F | F | F |
| 5708 | F | F | F |
| 5709 | F | F | F |
| 9489 | F | F | F |
| 9490 | F | F | F |
| 103393 | F | F | F |
| 103394 | F | F | F |
| 107087 | F | F | F |
| 107088 | F | F | F |
| 109566 | F | F | F |
| 109567 | F | F | F |
| 112572 | F | F | F |
| 112573 | F | F | F |
| 112574 | F | F | F |
| 112575 | F | F | F |
| 115466 | F | F | F |
| 115467 | F | F | F |
Independent-effect pairs
c0(branch6956): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:33c1(branch6957): GAP view gap →core::ptr::drop_glue::<wasmparser::readers::core::operators::Operator>· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:33