Decision #1343 — library/core/src/fmt/builders.rs:787
Status: no_witness
Truth table
| row | c0 br 9020 | c1 br 9021 | c2 br 9024 | outcome |
|---|---|---|---|---|
| 3289 | F | T | * | T |
| 3290 | F | T | * | T |
| 10246 | F | T | * | T |
| 10247 | F | T | * | T |
| 17099 | F | T | * | T |
| 17100 | F | T | * | T |
| 22540 | F | T | * | T |
| 25280 | F | T | * | T |
| 27926 | F | T | * | T |
| 39524 | F | T | * | T |
| 60376 | F | T | * | T |
| 75985 | F | T | * | T |
| 85868 | F | T | * | T |
| 94201 | F | T | * | T |
| 94202 | F | T | * | T |
| 102062 | F | T | * | T |
| 102063 | F | T | * | T |
| 110543 | F | T | * | T |
| 110544 | F | T | * | T |
| 118545 | F | T | * | T |
| 118546 | F | T | * | T |
| 132913 | F | T | * | T |
| 149632 | F | T | * | T |
| 161028 | F | T | * | T |
| 170886 | F | T | * | T |
| 177640 | F | T | * | T |
| 182050 | F | T | * | T |
| 185366 | F | T | * | T |
| 188477 | F | T | * | T |
| 192634 | F | T | * | T |
| 199122 | F | T | * | T |
| 204423 | F | T | * | T |
| 210044 | F | T | * | T |
| 217514 | F | T | * | T |
| 253514 | F | T | * | T |
| 330891 | F | T | * | T |
| 377941 | F | T | * | T |
| 380608 | F | T | * | T |
| 383489 | F | T | * | T |
Independent-effect pairs
c0(branch9020): GAP view gap →<wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/alloc/src/vec/mod.rs:4323 ← library/core/src/fmt/mod.rs:3130c1(branch9021): GAP view gap →<wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/alloc/src/vec/mod.rs:4323 ← library/core/src/fmt/mod.rs:3130c2(branch9024): DEAD view gap →<wasmparser::readers::core::types::RecGroup as wasmparser::readers::FromReader>::from_reader· br_if
inlined: library/core/src/fmt/mod.rs:3130