middle: use filter_map instead of flat_map with Option iters #28227

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Merged

bors merged 1 commit into rust-lang:master from birkenfeld:use_filter_map

Sep 4, 2015

Contributor

birkenfeld commented Sep 4, 2015

No description provided.


          middle: use filter_map instead of flat_map with Option iters

a88659d

rust-highfive assigned brson

Contributor

rust-highfive commented Sep 4, 2015

(rust_highfive has picked a reviewer for you, use r? to override)

Member

alexcrichton commented Sep 4, 2015

@bors: r+ a88659d

bors added a commit that referenced this pull request


          Auto merge of #28227 - birkenfeld:use_filter_map, r=alexcrichton

62c45f4

Collaborator

bors commented Sep 4, 2015

⌛ Testing commit a88659d with merge 62c45f4...

Collaborator

bors commented Sep 4, 2015

☀️ Test successful - auto-linux-32-nopt-t, auto-linux-32-opt, auto-linux-64-nopt-t, auto-linux-64-opt, auto-linux-64-x-android-t, auto-mac-32-opt, auto-mac-64-nopt-t, auto-mac-64-opt, auto-win-gnu-32-nopt-t, auto-win-gnu-32-opt, auto-win-gnu-64-nopt-t, auto-win-gnu-64-opt, auto-win-msvc-32-opt, auto-win-msvc-64-opt

bors merged commit a88659d into rust-lang:master

birkenfeld deleted the use_filter_map branch

September 4, 2015 18:24

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet