Decision #589 — library/core/src/char/methods.rs:2451
Status: unreached
Truth table
| row | c0 br 4057 | c1 br 4058 | outcome |
|---|
Independent-effect pairs
c0(branch4057): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/pattern.rs:1138 ← library/core/src/char/methods.rs:662c1(branch4058): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/core/src/str/pattern.rs:1176 ← library/core/src/str/pattern.rs:1138 ← library/core/src/char/methods.rs:662