Decision #262 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 1375 | c1 br 1376 | outcome |
|---|---|---|---|
| 95775 | F | F | F |
Independent-effect pairs
c0(branch1375): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:6799 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275c1(branch1376): GAP view gap →scry_analyze_core::tarjan_sccs· br_if
inlined: lib.rs:6799 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1275