You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In this comment it was suggested that we run Clippy and follow its lints. It seems that this is somewhat nontrivial as at least some of its lints seem questionable in our particular case but we should spend the time to look into which particular lints may make sense to enable and clean up our code as necessary.
The text was updated successfully, but these errors were encountered:
In this comment it was suggested that we run Clippy and follow its lints. It seems that this is somewhat nontrivial as at least some of its lints seem questionable in our particular case but we should spend the time to look into which particular lints may make sense to enable and clean up our code as necessary.
The text was updated successfully, but these errors were encountered: