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

Move index_refutable_slice to pedantic #9975

Merged
merged 1 commit into from
Nov 29, 2022

Conversation

xFrednet
Copy link
Member

@xFrednet xFrednet commented Nov 28, 2022

During the creation, I out this lint into the nursery group to let it run in the wild before moving it to a commonly used group. This move never happened until now, though. It should be safe, as Clippy and I have been using it for months and there are no open issues for is :)


changelog: Move index_refutable_slice to pedantic (Now warn-by-default)
#9975

@rustbot
Copy link
Collaborator

rustbot commented Nov 28, 2022

r? @llogiq

(rustbot has picked a reviewer for you, use r? to override)

@xFrednet xFrednet added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Nov 29, 2022
@llogiq
Copy link
Contributor

llogiq commented Nov 29, 2022

Thank you!

@bors r+

@bors
Copy link
Collaborator

bors commented Nov 29, 2022

📌 Commit 6bbf166 has been approved by llogiq

It is now in the queue for this repository.

@bors
Copy link
Collaborator

bors commented Nov 29, 2022

⌛ Testing commit 6bbf166 with merge bfb973f...

@bors
Copy link
Collaborator

bors commented Nov 29, 2022

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

@bors bors merged commit bfb973f into rust-lang:master Nov 29, 2022
@xFrednet xFrednet deleted the 0000-refutable-slice-pedantic branch November 29, 2022 12:09
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.

None yet

4 participants