Decision #1241 — binary_reader.rs:424
Status: unreached
Truth table
| row | c0 br 8410 | c1 br 8411 | outcome |
|---|
Independent-effect pairs
c0(branch8410): DEAD view gap →alloc::fmt::format· br_ifc1(branch8411): DEAD view gap →alloc::fmt::format· br_if