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

Add tests for issues fixed by #85499 #88640

Merged
merged 1 commit into from
Sep 6, 2021

Conversation

SkiFire13
Copy link
Contributor

Closes #80706
Closes #80956
Closes #81809
Closes #85455

@rust-highfive
Copy link
Collaborator

r? @Mark-Simulacrum

(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 Sep 4, 2021
@jackh726
Copy link
Member

jackh726 commented Sep 4, 2021

r? @jackh726

Copy link
Member

@jackh726 jackh726 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Can you move these to src/test/ui/higher-rank-trait-bounds/normalize-under-binder/? That's where I've been putting the rest of this class of tests.

r=me after

@jackh726
Copy link
Member

jackh726 commented Sep 4, 2021

@bors delegate+

@bors
Copy link
Contributor

bors commented Sep 4, 2021

✌️ @SkiFire13 can now approve this pull request

@SkiFire13
Copy link
Contributor Author

@bors r=jackh726

@bors
Copy link
Contributor

bors commented Sep 5, 2021

📌 Commit b32a22e has been approved by jackh726

@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 Sep 5, 2021
@bors
Copy link
Contributor

bors commented Sep 6, 2021

⌛ Testing commit b32a22e with merge 0e0ce83...

@bors
Copy link
Contributor

bors commented Sep 6, 2021

☀️ Test successful - checks-actions
Approved by: jackh726
Pushing 0e0ce83 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Sep 6, 2021
@bors bors merged commit 0e0ce83 into rust-lang:master Sep 6, 2021
@rustbot rustbot added this to the 1.57.0 milestone Sep 6, 2021
@SkiFire13 SkiFire13 deleted the tests-for-85499 branch September 6, 2021 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment