Decision #1263 — library/core/src/iter/adapters/mod.rs:164
Status: no_witness
Truth table
| row | c0 br 8531 | c1 br 8532 | outcome |
|---|---|---|---|
| 3051 | T | T | T |
| 3052 | T | T | T |
| 3053 | T | T | T |
| 3054 | T | T | T |
| 3055 | T | T | T |
| 3056 | T | T | T |
| 3057 | T | T | T |
| 3058 | T | T | T |
| 3059 | T | T | T |
| 3060 | T | T | T |
| 3061 | T | T | T |
| 10008 | T | T | T |
| 10009 | T | T | T |
| 10010 | T | T | T |
| 10011 | T | T | T |
| 10012 | T | T | T |
| 10013 | T | T | T |
| 10014 | T | T | T |
| 10015 | T | T | T |
| 10016 | T | T | T |
| 10017 | T | T | T |
| 10018 | T | T | T |
| 16849 | T | T | T |
| 16850 | T | T | T |
| 16851 | T | T | T |
| 16852 | T | T | T |
| 16853 | T | T | T |
| 16854 | T | T | T |
| 16855 | T | T | T |
| 16856 | T | T | T |
| 16857 | T | T | T |
| 16858 | T | T | T |
| 16859 | T | T | T |
| 22447 | T | T | T |
| 22448 | T | T | T |
| 22449 | T | T | T |
| 25187 | T | T | T |
| 25188 | T | T | T |
| 25189 | T | T | T |
| 27833 | T | T | T |
| 27834 | T | T | T |
| 27835 | T | T | T |
| 39326 | T | T | T |
| 39327 | T | T | T |
| 39328 | T | T | T |
| 39329 | T | T | T |
| 60178 | T | T | T |
| 60179 | T | T | T |
| 60180 | T | T | T |
| 60181 | T | T | T |
| 75747 | T | T | T |
| 75748 | T | T | T |
| 75749 | T | T | T |
| 75750 | T | T | T |
| 85630 | T | T | T |
| 85631 | T | T | T |
| 85632 | T | T | T |
| 85633 | T | T | T |
| 93966 | T | T | T |
| 93967 | T | T | T |
| 93968 | T | T | T |
| 101819 | T | T | T |
| 101820 | T | T | T |
| 101821 | T | T | T |
| 110303 | T | T | T |
| 110304 | T | T | T |
| 110305 | T | T | T |
| 118310 | T | T | T |
| 118311 | T | T | T |
| 118312 | T | T | T |
| 132695 | T | T | T |
| 132696 | T | T | T |
| 132697 | T | T | T |
| 132698 | T | T | T |
| 149414 | T | T | T |
| 149415 | T | T | T |
| 149416 | T | T | T |
| 149417 | T | T | T |
| 160716 | T | T | T |
| 160717 | T | T | T |
| 160718 | T | T | T |
| 160719 | T | T | T |
| 160720 | T | T | T |
| 160721 | T | T | T |
| 170574 | T | T | T |
| 170575 | T | T | T |
| 170576 | T | T | T |
| 170577 | T | T | T |
| 170578 | T | T | T |
| 170579 | T | T | T |
| 177496 | T | T | T |
| 177497 | T | T | T |
| 177498 | T | T | T |
| 181952 | T | T | T |
| 181953 | T | T | T |
| 181954 | T | T | T |
| 185268 | T | T | T |
| 185269 | T | T | T |
| 185270 | T | T | T |
| 188379 | T | T | T |
| 188380 | T | T | T |
| 188381 | T | T | T |
| 192501 | T | T | T |
| 192502 | T | T | T |
| 192503 | T | T | T |
| 192504 | T | T | T |
| 198794 | T | T | T |
| 198795 | T | T | T |
| 198796 | T | T | T |
| 198797 | T | T | T |
| 204319 | T | T | T |
| 204320 | T | T | T |
| 204321 | T | T | T |
| 204322 | T | T | T |
| 209766 | T | T | T |
| 209767 | T | T | T |
| 209768 | T | T | T |
| 209769 | T | T | T |
| 217315 | T | T | T |
| 217316 | T | T | T |
| 217317 | T | T | T |
| 217318 | T | T | T |
| 217319 | T | T | T |
| 253230 | T | T | T |
| 253231 | T | T | T |
| 253232 | T | T | T |
| 253233 | T | T | T |
| 330607 | T | T | T |
| 330608 | T | T | T |
| 330609 | T | T | T |
| 330610 | T | T | T |
| 377862 | T | T | T |
| 377863 | T | T | T |
| 377864 | T | T | T |
| 380527 | T | T | T |
| 380528 | T | T | T |
| 380529 | T | T | T |
| 383408 | T | T | T |
| 383409 | T | T | T |
| 383410 | T | T | T |
Independent-effect pairs
c0(branch8531): GAP view gap →<alloc::raw_vec::RawVec<u32>>::grow_one· br_ifc1(branch8532): GAP view gap →<alloc::raw_vec::RawVec<u32>>::grow_one· br_if