Decision #599 — library/alloc/src/raw_vec/mod.rs:434
Status: no_witness
Truth table
| row | c0 br 3938 | c1 br 3940 | outcome |
|---|---|---|---|
| 1099 | F | F | T |
| 4892 | F | F | T |
| 8627 | F | F | T |
| 12037 | F | F | T |
| 13413 | F | F | T |
| 14738 | F | F | T |
| 16670 | F | F | T |
| 26150 | F | F | T |
| 35770 | F | F | T |
| 41983 | F | F | T |
| 48132 | F | F | T |
| 48133 | F | F | T |
| 52303 | F | F | T |
| 52304 | F | F | T |
| 56841 | F | F | T |
| 61056 | F | F | T |
| 61057 | F | F | T |
| 65266 | F | F | T |
| 76779 | F | F | T |
| 88570 | F | F | T |
| 92838 | F | F | T |
| 96240 | F | F | T |
| 98098 | F | F | T |
| 99615 | F | F | T |
| 101031 | F | F | T |
| 102758 | F | F | T |
| 102759 | F | F | T |
| 106076 | F | F | T |
| 109104 | F | F | T |
| 109105 | F | F | T |
| 111849 | F | F | T |
| 114701 | F | F | T |
| 114702 | F | F | T |
| 118728 | F | F | T |
| 141664 | F | F | T |
| 163319 | F | F | T |
| 164890 | F | F | T |
| 166612 | F | F | T |
Independent-effect pairs
c0(branch3938): GAP view gap →<str as alloc::string::ToString>::to_string· br_ifc1(branch3940): GAP view gap →<str as alloc::string::ToString>::to_string· br_if