Skip to content

Revert "Handle TyAlias in projected_ty" #15291

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.

Sign up for GitHub

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

Jump to bottom
Merged
merged 1 commit into from
Jul 16, 2023
Merged

Revert "Handle TyAlias in projected_ty" #15291

merged 1 commit into from
Jul 16, 2023

Conversation

lnicola
Copy link
Member

@lnicola lnicola commented Jul 16, 2023

Reverts #15288

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jul 16, 2023
@lnicola
Copy link
Member Author

lnicola commented Jul 16, 2023

@bors r+

@bors
Copy link
Contributor

bors commented Jul 16, 2023

📌 Commit 467f5f4 has been approved by lnicola

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jul 16, 2023

⌛ Testing commit 467f5f4 with merge f4b5c7c...

@bors
Copy link
Contributor

bors commented Jul 16, 2023

☀️ Test successful - checks-actions
Approved by: lnicola
Pushing f4b5c7c to master...

@bors bors merged commit f4b5c7c into master Jul 16, 2023
@bors bors deleted the revert-15288-15143 branch July 16, 2023 06:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@lnicola @bors @rustbot