Decision #678 — library/core/src/iter/adapters/enumerate.rs:80

Status: no_witness

Truth table

rowc0 br 4579c1 br 4582c2 br 4583outcome
1644FF*F
1645FF*F
1646FF*F
8604FF*F
8605FF*F
8606FF*F
15405FF*F
15406FF*F
15407FF*F

Independent-effect pairs