Skip to content

Conversation

arielb1
Copy link
Contributor

@arielb1 arielb1 commented Jan 4, 2019

Fixes issue #57162.

Note: this PR does not need to be merged if #56837 gets into the beta (Jan 18). In that case, I'll copy over the test from that issue.

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

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

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 4, 2019
@bors
Copy link
Collaborator

bors commented Jan 5, 2019

☔ The latest upstream changes (presumably #56837) made this pull request unmergeable. Please resolve the merge conflicts.

@arielb1
Copy link
Contributor Author

arielb1 commented Jan 5, 2019

Closing as this was superseded by #56837.

@arielb1 arielb1 closed this Jan 5, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants