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

Correct report_elidable_impl_lifetimes comment following #13752 #13771

Merged

Conversation

smoelius
Copy link
Contributor

@smoelius smoelius commented Dec 2, 2024

Tiny change to make report_elidable_impl_lifetimes's doc comment consistent with #13752. (cc: @samueltardieu)


changelog: none

@rustbot
Copy link
Collaborator

rustbot commented Dec 2, 2024

r? @blyxyas

rustbot has assigned @blyxyas.
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 2, 2024
Copy link
Member

@blyxyas blyxyas left a comment

Choose a reason for hiding this comment

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

LGTM, thanks! ❤️

@blyxyas blyxyas added this pull request to the merge queue Dec 2, 2024
Merged via the queue into rust-lang:master with commit 646d72a Dec 2, 2024
9 checks passed
@smoelius smoelius deleted the report_elidable_impl_lifetimes-comment branch December 2, 2024 20:59
@samueltardieu
Copy link
Contributor

Tiny change to make report_elidable_impl_lifetimes's doc comment consistent with #13752. (cc: @samueltardieu)

Good catch, thanks!

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.

4 participants