Skip to content

typing_env_env_for_derived_eq -> typing_env_for_derived_eq #13769

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
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

@Jarcho Jarcho Jarcho approved these changes

+1 more reviewer

@lcnr lcnr lcnr approved these changes

Reviewers whose approvals may not affect merge requirements

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