Decision #1723 — sync.rs:2144
Status: unreached
Truth table
| row | c0 br 9120 | c1 br 9121 | c2 br 9122 | c3 br 9123 | outcome |
|---|
Independent-effect pairs
All 4 conditions live in std::alloc::default_alloc_error_hook — 1 br_table_default + 3 br_table_target
c0(branch9120): DEAD view gap →c1(branch9121): DEAD view gap →c2(branch9122): DEAD view gap →c3(branch9123): DEAD view gap →