Decision #1132 — cursor.rs:335
Status: unreached
Truth table
| row | c0 br 7903 | c1 br 7904 | outcome |
|---|
Independent-effect pairs
c0(branch7903): DEAD view gap →__rustc::__rdl_alloc_zeroed· br_ifc1(branch7904): DEAD view gap →__rustc::__rdl_alloc_zeroed· br_if