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
The two failure modes are (1) the linter misses important mistakes (copying when it's unnecessary, using something after it's been moved, etc.) and (2) the linter complains about stuff we don't care about ("narrowing conversions" that aren't actually narrowing, etc.). We need to find the right balance.
The text was updated successfully, but these errors were encountered:
dingp
linked a pull request
Jun 2, 2022
that will
close
this issue
The two failure modes are (1) the linter misses important mistakes (copying when it's unnecessary, using something after it's been moved, etc.) and (2) the linter complains about stuff we don't care about ("narrowing conversions" that aren't actually narrowing, etc.). We need to find the right balance.
The text was updated successfully, but these errors were encountered: