Decision #1094 — imports.rs:263
Status: unreached
Truth table
| row | c0 br 7678 | c1 br 7679 | outcome |
|---|
Independent-effect pairs
c0(branch7678): DEAD view gap →<&usize as core::fmt::Debug>::fmt· br_ifc1(branch7679): DEAD view gap →<&usize as core::fmt::Debug>::fmt· br_if