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.

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

internal: Give ConstBlockId and InTypeConstId named Location types #15036

Merged
merged 1 commit into from Jun 12, 2023
Merged

internal: Give ConstBlockId and InTypeConstId named Location types #15036

merged 1 commit into from Jun 12, 2023

Conversation

Veykril
Copy link
Member

@Veykril Veykril commented Jun 12, 2023

cc #14932

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

Veykril commented Jun 12, 2023

@bors r+

@bors
Copy link
Collaborator

bors commented Jun 12, 2023

📌 Commit abe2495 has been approved by Veykril

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Jun 12, 2023

⌛ Testing commit abe2495 with merge 1f1fe81...

@bors
Copy link
Collaborator

bors commented Jun 12, 2023

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

@bors bors merged commit 1f1fe81 into rust-lang:master Jun 12, 2023
8 checks passed
@Veykril Veykril deleted the const-param-intern-cleanup branch June 19, 2023 11:51
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.

None yet
3 participants
@Veykril @bors @rustbot