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

Fix/error instead of warn #26

Merged
merged 3 commits into from
Oct 8, 2024
Merged

Fix/error instead of warn #26

merged 3 commits into from
Oct 8, 2024

Conversation

jkoenig134
Copy link
Member

No description provided.

@jkoenig134 jkoenig134 requested a review from sebbi08 October 8, 2024 11:40
@jkoenig134
Copy link
Member Author

@tnotheis any idea why we marked this as warning??

@tnotheis
Copy link
Member

tnotheis commented Oct 8, 2024

@jkoenig134 There may be places where we don't want to cover every possible case.

@sebbi08
Copy link
Contributor

sebbi08 commented Oct 8, 2024

@jkoenig134 There may be places where we don't want to cover every possible case.

Ok, but shouldn't those cases have a default statement? This would satisfy this rule.

@jkoenig134
Copy link
Member Author

Shouldn't this be made explicitly using a default satement?

@jkoenig134
Copy link
Member Author

:D what sebbi says :D

@jkoenig134
Copy link
Member Author

@tnotheis additionally we don't have any warnings currently so it should be fine to merge this.

@jkoenig134 jkoenig134 merged commit bda6f0f into main Oct 8, 2024
3 checks passed
@jkoenig134 jkoenig134 deleted the fix/error-instead-of-warn branch October 8, 2024 12:00
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