Decision #1626 — library/core/src/ptr/mod.rs:1939
Status: unreached
Truth table
| row | c0 br 3033 | c1 br 3034 | c2 br 3035 | c3 br 3036 | outcome |
|---|
Independent-effect pairs
c0(branch3033): DEAD view gap →scry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4525 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c1(branch3034): DEAD view gap →scry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4525 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c2(branch3035): DEAD view gap →scry_analyze_core::compute_advisories· br_table_target
inlined: lib.rs:4525 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043c3(branch3036): DEAD view gap →scry_analyze_core::compute_advisories· br_table_default
inlined: lib.rs:4525 ← library/alloc/src/vec/mod.rs:1002 ← library/alloc/src/vec/mod.rs:1043