Skip to content

Apply fixes suggested by Clippy version nightly-2023-08-22.#510

Merged
jrvanwhy merged 1 commit intotock:masterfrom
jrvanwhy:clippy-fixes
Aug 22, 2023
Merged

Apply fixes suggested by Clippy version nightly-2023-08-22.#510
jrvanwhy merged 1 commit intotock:masterfrom
jrvanwhy:clippy-fixes

Conversation

@jrvanwhy
Copy link
Copy Markdown
Collaborator

I'm preparing a toolchain update PR that will supercede #481. I'd prefer to avoid sending a large PR that mixes these style updates with important unsafe code, so I'm splitting the update into two PRs.

I'm preparing a toolchain update PR that will supercede tock#481. I'd prefer to avoid sending a large PR that mixes these style updates with important `unsafe` code, so I'm splitting the update into two PRs.
@jrvanwhy jrvanwhy added the upkeep Indicates a PR is upkeep as defined by the code review policy. label Aug 22, 2023
Comment on lines -90 to +91
if (gpio as usize) < self.gpios.len() {
self.gpios[gpio as usize].set(None);
if let Some(state) = self.gpios.get(gpio) {
state.set(None);
Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Pretty impressive that it's able to make these suggestions now.

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

Oh, I guess I should've called this "Fix Clippy warnings". I did that manually.

@jrvanwhy jrvanwhy added this pull request to the merge queue Aug 22, 2023
Merged via the queue into tock:master with commit b61d048 Aug 22, 2023
@jrvanwhy jrvanwhy deleted the clippy-fixes branch August 22, 2023 23:29
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

upkeep Indicates a PR is upkeep as defined by the code review policy.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants