Decision #602 — library/core/src/str/validations.rs:64
Status: unreached
Truth table
| row | c0 br 4047 | c1 br 4048 | outcome |
|---|
Independent-effect pairs
c0(branch4047): DEAD view gap →scry_analyze_core::build_static_call_graph· br_ifc1(branch4048): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if