Decision #743 — library/core/src/option.rs:968
Status: no_witness
Truth table
| row | c0 br 4824 | c1 br 4825 | outcome |
|---|---|---|---|
| 31102 | F | F | T |
| 31103 | F | F | T |
| 31104 | F | F | T |
| 31105 | F | F | T |
| 31106 | F | F | T |
| 31107 | F | F | T |
| 51956 | F | F | T |
| 51957 | F | F | T |
| 51958 | F | F | T |
| 51959 | F | F | T |
| 51960 | F | F | T |
| 51961 | F | F | T |
| 124850 | F | F | T |
| 124851 | F | F | T |
| 124852 | F | F | T |
| 124853 | F | F | T |
| 124854 | F | F | T |
| 124855 | F | F | T |
| 124856 | F | F | T |
| 124857 | F | F | T |
| 141569 | F | F | T |
| 141570 | F | F | T |
| 141571 | F | F | T |
| 141572 | F | F | T |
| 141573 | F | F | T |
| 141574 | F | F | T |
| 141575 | F | F | T |
| 141576 | F | F | T |
| 216168 | F | F | T |
| 216169 | F | F | T |
Independent-effect pairs
c0(branch4824): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<u32, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_ifc1(branch4825): GAP view gap →<alloc::collections::btree::map::entry::VacantEntry<u32, alloc::collections::btree::set_val::SetValZST>>::insert_entry· br_if