Skip to content

chore(clippy): Enable elidable-lifetime-names lint#2847

Merged
szokeasaurusrex merged 2 commits intomasterfrom
szokeasaurusrex/elide-lifetimes
Oct 14, 2025
Merged

chore(clippy): Enable elidable-lifetime-names lint#2847
szokeasaurusrex merged 2 commits intomasterfrom
szokeasaurusrex/elide-lifetimes

Conversation

@szokeasaurusrex
Copy link
Copy Markdown
Member

Description

Stumbled accross this lint, seems useful so let's enable!

Issues

N/a

@szokeasaurusrex szokeasaurusrex requested a review from a team as a code owner October 14, 2025 09:20
@szokeasaurusrex szokeasaurusrex enabled auto-merge (squash) October 14, 2025 09:20
@szokeasaurusrex szokeasaurusrex requested a review from lcian October 14, 2025 09:20
@szokeasaurusrex szokeasaurusrex merged commit 5429f25 into master Oct 14, 2025
27 checks passed
@szokeasaurusrex szokeasaurusrex deleted the szokeasaurusrex/elide-lifetimes branch October 14, 2025 09:34
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