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

enable let_underscore_untyped lint #5217

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

bircni
Copy link
Contributor

@bircni bircni commented Oct 2, 2024

Enabled the let_underscore_untypedlint

  • I have followed the instructions in the PR template

Copy link

github-actions bot commented Oct 2, 2024

Preview available at https://egui-pr-preview.github.io/pr/5217-patch18
Note that it might take a couple seconds for the update to show up after the preview_build workflow has completed.

@rustbasic
Copy link
Contributor

rustbasic commented Oct 3, 2024

I don't like the restriction of the let_underscore_untyped lint.
just my opinion.

@emilk emilk closed this Oct 29, 2024
@emilk emilk reopened this Oct 29, 2024
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.

3 participants