Decision #1731 — builders.rs:245
Status: unreached
Truth table
| row | c0 br 10003 | c1 br 10004 | c2 br 10005 | c3 br 10006 | c4 br 10007 | outcome |
|---|
Independent-effect pairs
c0(branch10003): DEAD view gap →<core::fmt::Formatter>::pad_integral· br_table_target
inlined: mod.rs:2531c1(branch10004): DEAD view gap →<core::fmt::Formatter>::pad_integral· br_table_target
inlined: mod.rs:2531c2(branch10005): DEAD view gap →<core::fmt::Formatter>::pad_integral· br_table_target
inlined: mod.rs:2531c3(branch10006): DEAD view gap →<core::fmt::Formatter>::pad_integral· br_table_target
inlined: mod.rs:2531c4(branch10007): DEAD view gap →<core::fmt::Formatter>::pad_integral· br_table_default
inlined: mod.rs:2531