Decision #983 — library/core/src/ptr/mod.rs:810
Status: partial
Truth table
| row | c0 br 2002 | c1 br 2003 | c2 br 2004 | c3 br 2322 | c4 br 2323 | c5 br 2324 | c6 br 2325 | outcome |
|---|
Independent-effect pairs
c0(branch2002): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c1(branch2003): DEAD view gap →scry_analyze_core::analyze· br_table_target
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c2(branch2004): DEAD view gap →scry_analyze_core::analyze· br_table_default
inlined: library/core/src/result.rs:968 ← lib.rs:1027 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810 ← library/core/src/ptr/mod.rs:810c3(branch2322): PROVEDscry_analyze_core::analyze· br_table_targetc4(branch2323): PROVEDscry_analyze_core::analyze· br_table_targetc5(branch2324): PROVEDscry_analyze_core::analyze· br_table_targetc6(branch2325): DEAD view gap →scry_analyze_core::analyze· br_table_default