Decision #203 — library/core/src/iter/adapters/zip.rs:306

Status: no_witness

Truth table

rowc0 br 1662c1 br 1663outcome
597T*T
598T*T
599FFT
600FTT
3637T*T
3638T*T
3639T*T
3640T*T
6582T*T
6583T*T
6584FFT
6585FTT

Independent-effect pairs