Decision #12 — library/core/src/iter/adapters/map.rs:128
Status: no_witness
Truth table
| row | c0 br 83 | c1 br 84 | c2 br 85 | c3 br 86 | outcome |
|---|---|---|---|---|---|
| 84069 | F | * | * | * | T |
| 84070 | F | * | * | * | T |
| 84071 | F | * | * | * | T |
| 84072 | F | * | * | * | T |
| 84073 | F | * | * | * | T |
| 84074 | F | * | * | * | T |
| 84075 | F | * | * | * | T |
| 84076 | F | * | * | * | T |
| 84077 | F | * | * | * | T |
| 84078 | T | F | F | T | T |
| 85339 | F | * | * | * | T |
| 85340 | F | * | * | * | T |
| 85341 | F | * | * | * | T |
| 85342 | F | * | * | * | T |
| 85343 | F | * | * | * | T |
| 85344 | F | * | * | * | T |
| 85345 | F | * | * | * | T |
| 85346 | F | * | * | * | T |
| 85347 | F | * | * | * | T |
| 85348 | T | F | F | F | T |
| 85349 | F | * | * | * | T |
| 85350 | F | * | * | * | T |
| 85351 | F | * | * | * | T |
| 85352 | F | * | * | * | T |
| 85353 | F | * | * | * | T |
| 85354 | F | * | * | * | T |
| 85355 | F | * | * | * | T |
| 85356 | F | * | * | * | T |
| 85357 | F | * | * | * | T |
| 85358 | T | F | F | F | T |
| 85359 | F | * | * | * | T |
| 85360 | F | * | * | * | T |
| 85361 | F | * | * | * | T |
| 85362 | F | * | * | * | T |
| 85363 | F | * | * | * | T |
| 85364 | F | * | * | * | T |
| 85365 | F | * | * | * | T |
| 85366 | F | * | * | * | T |
| 85367 | F | * | * | * | T |
| 85368 | T | F | F | F | T |
| 87475 | F | * | * | * | T |
| 87476 | F | * | * | * | T |
| 87477 | F | * | * | * | T |
| 87478 | F | * | * | * | T |
| 87479 | F | * | * | * | T |
| 87480 | T | F | F | T | T |
| 88652 | F | * | * | * | T |
| 88653 | F | * | * | * | T |
| 88654 | F | * | * | * | T |
| 88655 | F | * | * | * | T |
| 88656 | F | * | * | * | T |
| 88657 | F | * | * | * | T |
| 88658 | F | * | * | * | T |
| 88659 | F | * | * | * | T |
| 88660 | F | * | * | * | T |
| 88661 | F | * | * | * | T |
| 88662 | F | * | * | * | T |
| 88663 | F | * | * | * | T |
| 88664 | F | * | * | * | T |
| 88665 | F | * | * | * | T |
| 88666 | F | * | * | * | T |
| 88667 | F | * | * | * | T |
| 88668 | T | F | F | F | T |
| 88669 | F | * | * | * | T |
| 88670 | F | * | * | * | T |
| 88671 | F | * | * | * | T |
| 88672 | F | * | * | * | T |
| 88673 | F | * | * | * | T |
| 88674 | F | * | * | * | T |
| 88675 | F | * | * | * | T |
| 88676 | F | * | * | * | T |
| 88677 | F | * | * | * | T |
| 88678 | F | * | * | * | T |
| 88679 | F | * | * | * | T |
| 88680 | F | * | * | * | T |
| 88681 | F | * | * | * | T |
| 88682 | F | * | * | * | T |
| 88683 | F | * | * | * | T |
| 88684 | F | * | * | * | T |
| 88685 | T | F | F | F | T |
| 90677 | F | * | * | * | T |
| 90678 | F | * | * | * | T |
| 90679 | F | * | * | * | T |
| 90680 | F | * | * | * | T |
| 90681 | F | * | * | * | T |
| 90682 | F | * | * | * | T |
| 90683 | F | * | * | * | T |
| 90684 | F | * | * | * | T |
| 90685 | F | * | * | * | T |
| 90686 | F | * | * | * | T |
| 90687 | F | * | * | * | T |
| 90688 | F | * | * | * | T |
| 90689 | F | * | * | * | T |
| 90690 | F | * | * | * | T |
| 90691 | F | * | * | * | T |
| 90692 | F | * | * | * | T |
| 90693 | F | * | * | * | T |
| 90694 | F | * | * | * | T |
| 90695 | F | * | * | * | T |
| 90696 | T | F | F | F | T |
Independent-effect pairs
All 4 conditions live in <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold — 4 br_if
c0(branch83): GAP view gap →c1(branch84): GAP view gap →c2(branch85): GAP view gap →c3(branch86): GAP view gap →