Decision #593 — library/core/src/slice/index.rs:245
Status: unreached
Truth table
| row | c0 br 4023 | c1 br 4029 | outcome |
|---|
Independent-effect pairs
c0(branch4023): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch4029): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if