Skip to content

Add wildcard lifetimes where they were previously elided #1471

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.

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

Merged

Conversation

jtgeibel
Copy link
Member

@jtgeibel jtgeibel commented Aug 3, 2018

This diff was created with the following commands:

RUSTFLAGS="-W elided_lifetimes_in_paths" cargo +nightly fix
cargo +stable fmt

This diff was created with the following commands:

    RUSTFLAGS="-W elided_lifetimes_in_paths" cargo +nightly fix
    cargo +stable fmt
@jtgeibel jtgeibel force-pushed the rust-2018/add-wildcard-lifetimes branch from 0f0485c to fa26a23 Compare August 4, 2018 00:12
@sgrif
Copy link
Contributor

sgrif commented Aug 8, 2018

bors: r+

bors-voyager bot added a commit that referenced this pull request Aug 8, 2018
1471: Add wildcard lifetimes where they were previously elided r=sgrif a=jtgeibel

This diff was created with the following commands:

    RUSTFLAGS="-W elided_lifetimes_in_paths" cargo +nightly fix
    cargo +stable fmt

Co-authored-by: Justin Geibel <[email protected]>
@bors-voyager
Copy link
Contributor

bors-voyager bot commented Aug 8, 2018

Build succeeded

@bors-voyager bors-voyager bot merged commit fa26a23 into rust-lang:master Aug 8, 2018
@jtgeibel jtgeibel deleted the rust-2018/add-wildcard-lifetimes branch September 19, 2018 03:13
@jtgeibel jtgeibel restored the rust-2018/add-wildcard-lifetimes branch September 19, 2018 03:14
@jtgeibel jtgeibel deleted the rust-2018/add-wildcard-lifetimes branch September 19, 2018 03:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants