Decision #13 — library/core/src/mem/maybe_uninit.rs:574
Status: partial
Truth table
| row | c0 br 80 | c1 br 81 | c2 br 82 | outcome |
|---|---|---|---|---|
| 84079 | F | F | F | F |
| 85369 | F | F | T | T |
| 85370 | F | F | T | T |
| 85371 | F | F | T | T |
| 87481 | F | F | F | F |
| 88686 | F | F | T | T |
| 88687 | F | F | T | T |
| 88688 | F | F | T | T |
| 88689 | F | F | T | T |
| 88690 | F | F | T | T |
| 88691 | F | F | T | T |
| 90697 | F | F | T | T |
Independent-effect pairs
All 3 conditions live in <core::iter::adapters::map::Map<I,F> as core::iter::traits::iterator::Iterator>::fold — 3 br_if
c0(branch80): GAP view gap →c1(branch81): GAP view gap →c2(branch82): PROVED — pair rows84079,85369(unique-cause)