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

Backport #40636 to beta #40975

Merged
merged 2 commits into from
Apr 1, 2017
Merged

Conversation

nikomatsakis
Copy link
Contributor

I suspect that this will help with #40953 but have not been able to verify for...reasons.

r? @alexcrichton
cc @brson

… r=nikomatsakis"

This reverts commit dc0bb3f, reversing
changes made to e879aa4.

This is a temporary step intended to fix regressions. A more
comprehensive fix for type inference and dead-code is in the works.
@rust-highfive
Copy link
Collaborator

warning Warning warning

  • Pull requests are usually filed against the master branch for this repo, but this one is against beta. Please double check that you specified the right target!

@alexcrichton
Copy link
Member

@bors: r+ p=2

@bors
Copy link
Contributor

bors commented Apr 1, 2017

📌 Commit 5d4f707 has been approved by alexcrichton

@bors
Copy link
Contributor

bors commented Apr 1, 2017

⌛ Testing commit 5d4f707 with merge 226e04a...

@bors
Copy link
Contributor

bors commented Apr 1, 2017

💔 Test failed - status-travis

@alexcrichton
Copy link
Member

alexcrichton commented Apr 1, 2017 via email

@bors
Copy link
Contributor

bors commented Apr 1, 2017

⌛ Testing commit 5d4f707 with merge bf403d0...

bors added a commit that referenced this pull request Apr 1, 2017
…chton

Backport #40636 to beta

I suspect that this will help with #40953 but have not been able to verify for...reasons.

r? @alexcrichton
cc @brson
@bors
Copy link
Contributor

bors commented Apr 1, 2017

☀️ Test successful - status-appveyor, status-travis
Approved by: alexcrichton
Pushing bf403d0 to beta...

@bors bors merged commit 5d4f707 into rust-lang:beta Apr 1, 2017
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.

4 participants