Decision #1108 — library/core/src/fmt/builders.rs:788
Status: no_witness
Truth table
| row | c0 br 7767 | c1 br 7769 | outcome |
|---|---|---|---|
| 2210 | F | * | F |
| 2211 | F | * | F |
| 6001 | F | * | F |
| 6002 | F | * | F |
| 9782 | F | * | F |
| 9783 | F | * | F |
| 12486 | F | * | F |
| 13860 | F | * | F |
| 15187 | F | * | F |
| 22623 | F | * | F |
| 32101 | F | * | F |
| 38420 | F | * | F |
| 44633 | F | * | F |
| 49316 | F | * | F |
| 49317 | F | * | F |
| 53517 | F | * | F |
| 53518 | F | * | F |
| 58047 | F | * | F |
| 58048 | F | * | F |
| 62240 | F | * | F |
| 62241 | F | * | F |
| 72743 | F | * | F |
| 84256 | F | * | F |
| 89849 | F | * | F |
| 94117 | F | * | F |
| 96816 | F | * | F |
| 98570 | F | * | F |
| 100085 | F | * | F |
| 101503 | F | * | F |
| 103592 | F | * | F |
| 107320 | F | * | F |
| 109765 | F | * | F |
| 112799 | F | * | F |
| 115667 | F | * | F |
| 135459 | F | * | F |
| 158395 | F | * | F |
| 163811 | F | * | F |
| 165392 | F | * | F |
| 167112 | F | * | F |
Independent-effect pairs
c0(branch7767): GAP view gap →<wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/alloc/src/vec/mod.rs:4305 ← library/core/src/fmt/mod.rs:3123c1(branch7769): DEAD view gap →<wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/core/src/fmt/mod.rs:3123