Skip to content
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

[MIR] Temporary hack for 32959 #33267

Merged
merged 1 commit into from
May 7, 2016
Merged

Conversation

nagisa
Copy link
Member

@nagisa nagisa commented Apr 29, 2016

Gets rid of the warning. This is more elegant that I thought it would be, actually.

r? @nikomatsakis

cc #32959

Gets rid of the warning
@nagisa
Copy link
Member Author

nagisa commented Apr 29, 2016

(This actually should also “fix” the #31472, but I can’t be bothered to test it today)

@nagisa nagisa changed the title Temporary hack for 32959 [MIR] Temporary hack for 32959 Apr 29, 2016
@nikomatsakis
Copy link
Contributor

@bors r+

@bors
Copy link
Contributor

bors commented May 3, 2016

📌 Commit 603a833 has been approved by nikomatsakis

@bors
Copy link
Contributor

bors commented May 7, 2016

⌛ Testing commit 603a833 with merge c95cda5...

bors added a commit that referenced this pull request May 7, 2016
[MIR] Temporary hack for 32959

Gets rid of the warning. This is more elegant that I thought it would be, actually.

r? @nikomatsakis

cc #32959
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.

3 participants