Skip to content

Partially HirIdify mir #58152

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

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
Contributor

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
Collaborator

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
Collaborator

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
Collaborator

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
# for free to join this conversation on GitHub. Already have an account? # 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