Decision #1647 — library/core/src/mem/mod.rs:1227
Status: partial
Truth table
| row | c0 br 4657 | c1 br 4658 | c2 br 4659 | c3 br 4660 | outcome |
|---|
Independent-effect pairs
c0(branch4657): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:729c1(branch4658): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:729c2(branch4659): PROVEDscry_analyze_core::analyze· br_table_target
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:729c3(branch4660): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: src/hex.rs:39 ← src/impls.rs:17 ← src/lib.rs:397 ← src/lib.rs:248 ← library/core/src/mem/maybe_uninit.rs:729