Decision #731 — library/alloc/src/fmt.rs:659
Status: unreached
Truth table
| row | c0 br 4736 | c1 br 4737 | outcome |
|---|
Independent-effect pairs
c0(branch4736): DEAD view gap →<[u32]>::contains· br_if
inlined: lib.rs:7302 ← library/core/src/option.rs:1365 ← lib.rs:7303 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch4737): DEAD view gap →<[u32]>::contains· br_if
inlined: lib.rs:7302 ← library/core/src/option.rs:1365 ← lib.rs:7303 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276