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
I found myself ctrl-replacing a bunch of meta items in a file and ended up with a few that said cfg(not(not(...))). This is obviously wrong and it would be nice if we linted this somehow.
We could potentially extend this from just double negatives to include other expressions which include too many nots, like any(not(A), not(B), not(C), ...) -> not(all(A, B, C)).
The text was updated successfully, but these errors were encountered:
I found myself ctrl-replacing a bunch of meta items in a file and ended up with a few that said
cfg(not(not(...)))
. This is obviously wrong and it would be nice if we linted this somehow.We could potentially extend this from just double negatives to include other expressions which include too many
not
s, likeany(not(A), not(B), not(C), ...)
->not(all(A, B, C))
.The text was updated successfully, but these errors were encountered: