Skip to content

Fix instances of new clippy lint uninlined_format_args#281

Merged
dburgener merged 3 commits intomainfrom
dburgener/clippy
Jul 31, 2025
Merged

Fix instances of new clippy lint uninlined_format_args#281
dburgener merged 3 commits intomainfrom
dburgener/clippy

Conversation

@dburgener
Copy link
Owner

No description provided.

A quirk of the 2018 edition generates a clippy lint on some lalrpop
generated inlined format args.  We should update anyways, so update to
avoid that.
@github-actions
Copy link

Stable clippy has failed for this run: nightly. A maintainer should check the logs. If known good clippy passed, this is non-fatal to the PR.

@dburgener dburgener merged commit 896d7bb into main Jul 31, 2025
15 checks passed
@dburgener dburgener deleted the dburgener/clippy branch July 31, 2025 21:13
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.

1 participant

Comments