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

rustc_mir: use nicer path printing for #[rustc_regions] NLL tests. #66911

Merged
merged 1 commit into from
Dec 6, 2019

Conversation

eddyb
Copy link
Member

@eddyb eddyb commented Nov 30, 2019

Similar to #66850, spotted while working on #66907.

r? @matthewjasper

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Nov 30, 2019
@matthewjasper
Copy link
Contributor

@bors r+

@bors
Copy link
Contributor

bors commented Nov 30, 2019

📌 Commit 84bad09 has been approved by matthewjasper

@bors
Copy link
Contributor

bors commented Nov 30, 2019

🌲 The tree is currently closed for pull requests below priority 1000, this pull request will be tested once the tree is reopened

@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 Nov 30, 2019
RalfJung added a commit to RalfJung/rust that referenced this pull request Dec 2, 2019
…wjasper

rustc_mir: use nicer path printing for #[rustc_regions] NLL tests.

Similar to rust-lang#66850, spotted while working on rust-lang#66907.

r? @matthewjasper
@bors
Copy link
Contributor

bors commented Dec 6, 2019

⌛ Testing commit 84bad09 with merge 234c9f2...

bors added a commit that referenced this pull request Dec 6, 2019
rustc_mir: use nicer path printing for #[rustc_regions] NLL tests.

Similar to #66850, spotted while working on #66907.

r? @matthewjasper
@bors
Copy link
Contributor

bors commented Dec 6, 2019

☀️ Test successful - checks-azure
Approved by: matthewjasper
Pushing 234c9f2 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Dec 6, 2019
@bors bors merged commit 84bad09 into rust-lang:master Dec 6, 2019
@eddyb eddyb deleted the nicer-rustc_regions branch December 6, 2019 04:26
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.

4 participants