Skip to content

Improve help message for search_is_some lint - #12140

Merged
bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:improve-message-search_is_some
Jan 12, 2024
Merged

bors merged 2 commits into
rust-lang:masterfrom
GuillaumeGomez:improve-message-search_is_some

Conversation

@GuillaumeGomez

Copy link
Copy Markdown
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

llogiq commented Jan 12, 2024

Copy link
Copy Markdown
Contributor

Thank you!

@bors r+

@bors

bors commented Jan 12, 2024

Copy link
Copy Markdown
Contributor

📌 Commit 37947ff has been approved by llogiq

It is now in the queue for this repository.

@bors

bors commented Jan 12, 2024

Copy link
Copy Markdown
Contributor

⌛ Testing commit 37947ff with merge a71211d...

@bors

bors commented Jan 12, 2024

Copy link
Copy Markdown
Contributor

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