Skip to content

clippy: fix borrow_as_ptr lint#729

Closed
xtqqczze wants to merge 1 commit intomicrosoft:mainfrom
xtqqczze:clippy/borrow_as_ptr
Closed

clippy: fix borrow_as_ptr lint#729
xtqqczze wants to merge 1 commit intomicrosoft:mainfrom
xtqqczze:clippy/borrow_as_ptr

Conversation

@xtqqczze
Copy link
Copy Markdown
Contributor

@lhecker
Copy link
Copy Markdown
Member

lhecker commented Jan 5, 2026

Both this and #730 address "pedantic" clippy warnings. What benefit do we get from addressing them?
I don't mind either PR per-se, but I'd like to avoid making changes for the change's sake, if that makes sense.

@lhecker
Copy link
Copy Markdown
Member

lhecker commented Apr 16, 2026

I'll close this PR because it's too pedantic in my opinion.

@lhecker lhecker closed this Apr 16, 2026
@xtqqczze xtqqczze deleted the clippy/borrow_as_ptr branch April 16, 2026 11:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants