Decision #956 — library/alloc/src/fmt.rs:659
Status: partial
Truth table
| row | c0 br 1029 | c1 br 1030 | c2 br 1031 | outcome |
|---|
Independent-effect pairs
c0(branch1029): PROVEDscry_analyze_core::Interp::seq· br_table_target
inlined: lib.rs:4079 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c1(branch1030): PROVEDscry_analyze_core::Interp::seq· br_table_target
inlined: lib.rs:4079 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278c2(branch1031): DEAD view gap →scry_analyze_core::Interp::seq· br_table_default
inlined: lib.rs:4079 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1278