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

typing_env_env_for_derived_eq -> typing_env_for_derived_eq #13769

Merged
merged 1 commit into from
Dec 2, 2024
Merged

typing_env_env_for_derived_eq -> typing_env_for_derived_eq #13769

merged 1 commit into from
Dec 2, 2024

Conversation

smoelius
Copy link
Contributor

@smoelius smoelius commented Dec 1, 2024

I'm assuming the duplicated env was a typo. Apologies if I've made a mistake. (cc: @lcnr)

changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Dec 1, 2024

r? @Jarcho

rustbot has assigned @Jarcho.
They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

@rustbot rustbot added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Dec 1, 2024
@lcnr
Copy link
Contributor

lcnr commented Dec 2, 2024

yeah 👍

Jarcho
Jarcho approved these changes Dec 2, 2024
View reviewed changes
Copy link
Contributor

@Jarcho Jarcho left a comment

Choose a reason for hiding this comment

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

Thank You.

@Jarcho Jarcho added this pull request to the merge queue Dec 2, 2024
Merged via the queue into rust-lang:master with commit 0a07dc5 Dec 2, 2024
9 checks passed
@smoelius smoelius deleted the typing_env_for_derived_eq branch December 2, 2024 15:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@lcnr lcnr lcnr approved these changes

@Jarcho Jarcho Jarcho approved these changes

Assignees

@Jarcho Jarcho

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.
4 participants
@smoelius @rustbot @lcnr @Jarcho