Decision #334 — library/core/src/ptr/mod.rs:552
Status: no_witness
Truth table
| row | c0 br 2437 | c1 br 2438 | outcome |
|---|---|---|---|
| 998 | F | F | T |
| 4038 | F | F | T |
| 6987 | F | F | T |
| 9744 | F | F | T |
| 10892 | F | F | T |
| 11983 | F | F | T |
| 13791 | F | F | T |
| 21509 | F | F | T |
| 29516 | F | F | T |
| 35454 | F | F | T |
| 41014 | F | F | T |
| 41015 | F | F | T |
| 44027 | F | F | T |
| 44028 | F | F | T |
| 47480 | F | F | T |
| 50554 | F | F | T |
| 50555 | F | F | T |
| 53784 | F | F | T |
| 63556 | F | F | T |
| 73390 | F | F | T |
| 76865 | F | F | T |
| 79489 | F | F | T |
| 80950 | F | F | T |
| 82137 | F | F | T |
| 83199 | F | F | T |
| 84421 | F | F | T |
| 84422 | F | F | T |
| 86163 | F | F | T |
| 87767 | F | F | T |
| 87768 | F | F | T |
| 89472 | F | F | T |
| 91115 | F | F | T |
| 91116 | F | F | T |
| 93730 | F | F | T |
| 112593 | F | F | T |
| 130158 | F | F | T |
| 131333 | F | F | T |
| 132660 | F | F | T |
Independent-effect pairs
c0(branch2437): GAP view gap →<T as alloc::string::ToString>::to_string· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:655c1(branch2438): GAP view gap →<T as alloc::string::ToString>::to_string· br_if
inlined: library/core/src/slice/sort/shared/smallsort.rs:655