Decision #553 — library/alloc/src/fmt.rs:659
Status: no_witness
Truth table
| row | c0 br 3842 | c1 br 3843 | outcome |
|---|---|---|---|
| 1280 | T | * | T |
| 1281 | T | * | T |
| 1282 | T | * | T |
| 1283 | T | * | T |
| 8240 | T | * | T |
| 8241 | T | * | T |
| 8242 | T | * | T |
| 8243 | T | * | T |
| 15041 | T | * | T |
| 15042 | T | * | T |
| 15043 | T | * | T |
| 15044 | T | * | T |
| 21723 | T | * | T |
| 21724 | T | * | T |
| 24466 | T | * | T |
| 24467 | T | * | T |
| 27109 | T | * | T |
| 27110 | T | * | T |
| 30713 | T | * | T |
| 30714 | T | * | T |
| 51568 | T | * | T |
| 51569 | T | * | T |
| 72492 | T | * | T |
| 72493 | T | * | T |
| 82375 | T | * | T |
| 82376 | T | * | T |
| 92118 | T | * | T |
| 92119 | T | * | T |
| 92120 | T | * | T |
| 92121 | T | * | T |
| 92122 | T | * | T |
| 92123 | T | * | T |
| 99947 | T | * | T |
| 99948 | T | * | T |
| 99949 | T | * | T |
| 99950 | T | * | T |
| 99951 | T | * | T |
| 99952 | T | * | T |
| 108436 | T | * | T |
| 108437 | T | * | T |
| 108438 | T | * | T |
| 108439 | T | * | T |
| 108440 | T | * | T |
| 108441 | T | * | T |
| 116462 | T | * | T |
| 116463 | T | * | T |
| 116464 | T | * | T |
| 116465 | T | * | T |
| 116466 | T | * | T |
| 116467 | T | * | T |
| 124452 | T | * | T |
| 124453 | T | * | T |
| 141171 | T | * | T |
| 141172 | T | * | T |
| 158535 | T | * | T |
| 158536 | T | * | T |
| 158537 | T | * | T |
| 158538 | T | * | T |
| 158539 | T | * | T |
| 158540 | T | * | T |
| 158541 | T | * | T |
| 158542 | T | * | T |
| 158543 | T | * | T |
| 158544 | T | * | T |
| 158545 | T | * | T |
| 158546 | T | * | T |
| 168393 | T | * | T |
| 168394 | T | * | T |
| 168395 | T | * | T |
| 168396 | T | * | T |
| 168397 | T | * | T |
| 168398 | T | * | T |
| 168399 | T | * | T |
| 168400 | T | * | T |
| 168401 | T | * | T |
| 168402 | T | * | T |
| 168403 | T | * | T |
| 168404 | T | * | T |
| 176605 | T | * | T |
| 176606 | T | * | T |
| 176607 | T | * | T |
| 176608 | T | * | T |
| 176609 | T | * | T |
| 176610 | T | * | T |
| 181226 | F | T | T |
| 181227 | F | T | T |
| 184545 | F | T | T |
| 184546 | F | T | T |
| 187653 | F | T | T |
| 187654 | F | T | T |
| 191198 | T | * | T |
| 191199 | T | * | T |
| 196621 | T | * | T |
| 196622 | T | * | T |
| 196623 | T | * | T |
| 196624 | T | * | T |
| 196625 | T | * | T |
| 196626 | T | * | T |
| 203315 | T | * | T |
| 203316 | T | * | T |
| 207917 | T | * | T |
| 207918 | T | * | T |
| 207919 | T | * | T |
| 207920 | T | * | T |
| 215702 | T | * | T |
| 215703 | T | * | T |
| 224176 | T | * | T |
| 224177 | T | * | T |
| 301553 | T | * | T |
| 301554 | T | * | T |
| 377104 | T | * | T |
| 377105 | T | * | T |
| 379761 | T | * | T |
| 379762 | T | * | T |
| 382645 | T | * | T |
| 382646 | T | * | T |
Independent-effect pairs
c0(branch3842): GAP view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/map.rs:88 ← lib.rs:3331 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276c1(branch3843): GAP view gap →scry_analyze_core::strip_rust_disambiguator· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:60 ← library/alloc/src/vec/spec_extend.rs:27 ← library/alloc/src/vec/mod.rs:4077 ← library/core/src/iter/traits/iterator.rs:887 ← library/core/src/iter/adapters/map.rs:128 ← library/core/src/iter/adapters/map.rs:88 ← lib.rs:3331 ← library/alloc/src/fmt.rs:659 ← library/core/src/option.rs:1276