Decision #193 — library/core/src/option.rs:745
Status: unreached
Truth table
| row | c0 br 1624 | c1 br 1625 | outcome |
|---|
Independent-effect pairs
c0(branch1624): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: lib.rs:4661 ← library/core/src/option.rs:1546 ← lib.rs:709c1(branch1625): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if