Skip to content

Improve help message for search_is_some lint #12140

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

Merged
merged 2 commits into from
Jan 12, 2024

Conversation

GuillaumeGomez
Copy link
Member

Fixes #11681.

Like mentioned in the issue, we tend to use the formulation "consider using", which we didn't in this case. I think it clears both the confusion and also makes help message more coherent overall.

r? @llogiq

changelog: Improve help message for search_is_some lint

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

llogiq commented Jan 12, 2024

Thank you!

@bors r+

@bors
Copy link
Contributor

bors commented Jan 12, 2024

📌 Commit 37947ff has been approved by llogiq

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Jan 12, 2024

⌛ Testing commit 37947ff with merge a71211d...

@bors
Copy link
Contributor

bors commented Jan 12, 2024

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: llogiq
Pushing a71211d to master...

@bors bors merged commit a71211d into rust-lang:master Jan 12, 2024
@GuillaumeGomez GuillaumeGomez deleted the improve-message-search_is_some branch January 13, 2024 10:05
bors added a commit that referenced this pull request Jan 20, 2024
…llogiq

Improve wording for suggestion messages

Follow-up of #12140.

r? `@llogiq`

changelog: Improve wording for suggestion messages
bors added a commit that referenced this pull request Jan 21, 2024
…llogiq

Improve wording for suggestion messages

Follow-up of #12140.

r? `@llogiq`

changelog: Improve wording for suggestion messages
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.

search_is_some incorrect text
4 participants