Decision #192 — library/core/src/option.rs:1164
Status: unreached
Truth table
| row | c0 br 1598 | c1 br 1599 | outcome |
|---|
Independent-effect pairs
c0(branch1598): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch1599): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if