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

Partially HirIdify mir #58152

Merged
merged 1 commit into from
Feb 11, 2019
Merged

Partially HirIdify mir #58152

merged 1 commit into from
Feb 11, 2019

Conversation

ljedrz
Copy link
Contributor

@ljedrz ljedrz commented Feb 4, 2019

Another step towards #57578.

@rust-highfive
Copy link
Collaborator

r? @matthewjasper

(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 Feb 4, 2019
@Zoxc Zoxc assigned Zoxc and unassigned matthewjasper Feb 4, 2019
@ljedrz
Copy link
Contributor Author

ljedrz commented Feb 5, 2019

Rebased.

@Zoxc
Copy link
Contributor

Zoxc commented Feb 5, 2019

@bors r+

@bors
Copy link
Contributor

bors commented Feb 5, 2019

📌 Commit 44752c2 has been approved by Zoxc

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 5, 2019
kennytm added a commit to kennytm/rust that referenced this pull request Feb 8, 2019
pietroalbini added a commit to pietroalbini/rust that referenced this pull request Feb 10, 2019
@bors
Copy link
Contributor

bors commented Feb 11, 2019

⌛ Testing commit 44752c2 with merge 4424a2c...

bors added a commit that referenced this pull request Feb 11, 2019
Partially HirIdify mir

Another step towards #57578.
@bors
Copy link
Contributor

bors commented Feb 11, 2019

☀️ Test successful - checks-travis, status-appveyor
Approved by: Zoxc
Pushing 4424a2c to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Feb 11, 2019
@bors bors merged commit 44752c2 into rust-lang:master Feb 11, 2019
@ljedrz ljedrz deleted the HirIdify_mir branch February 11, 2019 07:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
merged-by-bors This PR was explicitly merged by bors. S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

5 participants