Decision #1198 — library/core/src/iter/traits/iterator.rs:2556
Status: no_witness
Truth table
| row | c0 br 8178 | c1 br 8180 | outcome |
|---|---|---|---|
| 2375 | F | F | F |
| 2376 | F | F | F |
| 9334 | F | F | F |
| 9335 | F | F | F |
| 16140 | F | F | F |
| 16141 | F | F | F |
| 22156 | F | F | F |
| 24898 | F | F | F |
| 27542 | F | F | F |
| 38910 | F | F | F |
| 59764 | F | F | F |
| 75285 | F | F | F |
| 85168 | F | F | F |
| 93392 | F | F | F |
| 93393 | F | F | F |
| 93394 | F | F | F |
| 93395 | F | F | F |
| 101223 | F | F | F |
| 101224 | F | F | F |
| 101225 | F | F | F |
| 101226 | F | F | F |
| 109711 | F | F | F |
| 109712 | F | F | F |
| 109713 | F | F | F |
| 109714 | F | F | F |
| 117736 | F | F | F |
| 117737 | F | F | F |
| 117738 | F | F | F |
| 117739 | F | F | F |
| 132271 | F | F | F |
| 148990 | F | F | F |
| 159924 | F | F | F |
| 159925 | F | F | F |
| 159926 | F | F | F |
| 159927 | F | F | F |
| 159928 | F | F | F |
| 159929 | F | F | F |
| 169782 | F | F | F |
| 169783 | F | F | F |
| 169784 | F | F | F |
| 169785 | F | F | F |
| 169786 | F | F | F |
| 169787 | F | F | F |
| 177088 | F | F | F |
| 177089 | F | F | F |
| 177090 | F | F | F |
| 181637 | F | F | F |
| 184955 | F | F | F |
| 188064 | F | F | F |
| 192118 | F | F | F |
| 192119 | F | F | F |
| 192120 | F | F | F |
| 198079 | F | F | F |
| 198080 | F | F | F |
| 198081 | F | F | F |
| 203974 | F | F | F |
| 203975 | F | F | F |
| 203976 | F | F | F |
| 209199 | F | F | F |
| 209200 | F | F | F |
| 209201 | F | F | F |
| 209202 | F | F | F |
| 209203 | F | F | F |
| 216880 | F | F | F |
| 216881 | F | F | F |
| 216882 | F | F | F |
| 252702 | F | F | F |
| 330079 | F | F | F |
| 377587 | F | F | F |
| 380244 | F | F | F |
| 383127 | F | F | F |
Independent-effect pairs
c0(branch8178): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_string· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:24 ← library/core/src/iter/adapters/mod.rs:177c1(branch8180): GAP view gap →<wasmparser::binary_reader::BinaryReader>::read_string· br_if
inlined: library/alloc/src/vec/spec_from_iter_nested.rs:41 ← library/alloc/src/vec/spec_extend.rs:18