Decision #597 — library/core/src/str/pattern.rs:1487
Status: no_witness
Truth table
| row | c0 br 4068 | c1 br 4069 | outcome |
|---|---|---|---|
| 92240 | T | * | T |
| 92241 | T | * | T |
| 100069 | T | * | T |
| 100070 | T | * | T |
| 108558 | T | * | T |
| 108559 | T | * | T |
| 116584 | T | * | T |
| 116585 | T | * | T |
| 176665 | T | * | T |
| 196882 | T | * | T |
| 196883 | T | * | T |
| 208229 | T | * | T |
| 215863 | T | * | T |
Independent-effect pairs
c0(branch4068): GAP view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/core/src/str/pattern.rs:1193c1(branch4069): DEAD view gap →scry_analyze_core::build_static_call_graph· br_if
inlined: library/core/src/str/pattern.rs:1193