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

internal: Shrink PatPtr by swapping its AstPtr and Either wrap order #15721

Merged
merged 1 commit into from Oct 6, 2023

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Oct 6, 2023

Will have neglible perf results I imagine, but it cleans up some code

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

Veykril commented Oct 6, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Oct 6, 2023

📌 Commit 88a00bf has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Oct 6, 2023

⌛ Testing commit 88a00bf with merge ef58843...

@bors
Copy link
Collaborator

bors commented Oct 6, 2023

☀️ Test successful - checks-actions
Approved by: Veykril
Pushing ef58843 to master...

@bors bors merged commit ef58843 into rust-lang:master Oct 6, 2023
8 checks passed
@lnicola lnicola changed the title Shrink PatPtr by swapping its AstPtr and Either wrap order internal: Shrink PatPtr by swapping its AstPtr and Either wrap order Oct 7, 2023
@Veykril Veykril deleted the shrink-pat-ptr branch November 12, 2023 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants