Decision #596 — library/core/src/str/pattern.rs:1138

Status: partial

Truth table

rowc0 br 4059c1 br 4060c2 br 4061c3 br 4062c4 br 4063outcome
1394****FF
1395****TT
1396****TT
1397****FF
1398****TT
1399****TT
8354****FF
8355****TT
8356****TT
8357****FF
8358****TT
8359****TT
15155****FF
15156****TT
15157****TT
15158****FF
15159****TT
15160****TT

Independent-effect pairs

All 5 conditions live in scry_analyze_core::build_static_call_graph — 5 br_if