about summary refs log tree commit diff
path: root/compiler/rustc_mir_transform/src/coverage/graph.rs
diff options
context:
space:
mode:
authorThe8472 <git@infinite-source.de>2021-04-02 20:20:55 +0200
committerThe8472 <git@infinite-source.de>2021-08-11 21:09:00 +0200
commit2ff677dcbe2228323553447054d130a0c4585a91 (patch)
tree5bd343bccde24896e809cfd8ca368155a48b65c7 /compiler/rustc_mir_transform/src/coverage/graph.rs
parentae90dcf0207c57c3034f00b07048d63f8b2363c8 (diff)
downloadrust-2ff677dcbe2228323553447054d130a0c4585a91.tar.gz
rust-2ff677dcbe2228323553447054d130a0c4585a91.zip
Weaken guarantee around advancing underlying iterators in zip
The current guarantee is too strong as it would prevent adapters
from exploiting knowledge about the iterator length and using counted
loops for example because they would stop calling `next()` before
it ever returned `None`. Additionally several nested zip iterators
already fail to uphold this.

This doesn't remove any of the specialization code that tries
(and sometimes fails) to uphold the guarantee for `next()`
because removing it would also affect `next_back()`
in more surprising ways.
Diffstat (limited to 'compiler/rustc_mir_transform/src/coverage/graph.rs')
0 files changed, 0 insertions, 0 deletions