PR #2597 Add stream selection early exit

Add stream selection early exit #2597

414owen wants to merge 2 commits into rust-lang:master from 414owen:early-exit-streams

414owen requested a review from

taiki-e 3 years ago

414owen force pushed from bbbddccd to 33c15bb4 3 years ago

414owen force pushed from 33c15bb4 to 3c27fd34 3 years ago

414owen force pushed from 3c27fd34 to 7aefa943 3 years ago

taiki-e added this to the futures-0.4, futures-core-1.0 milestone 3 years ago

taiki-e added A-stream

taiki-e added breaking change

414owen force pushed from 5c5a661d to 1ccbba31 3 years ago

414owen force pushed from 1ccbba31 to 9a34f079 3 years ago

414owen force pushed from 9a34f079 to daeeec90 3 years ago

Add stream selection early exit

b97d95eb

414owen force pushed from daeeec90 to b5930441 3 years ago

Implement early-exit stream selection with a trait

8aefbede

414owen force pushed from b5930441 to 8aefbede 3 years ago

taiki-e added S-needs-decision

Reviewers

taiki-e

Assignees

No one assigned

Labels

breaking change A-stream S-needs-decision

Milestone

futures-0.4, futures-core-1.0