Reports double negation in exists
or forall
calls.
The quick-fix removes the double negation.
Example:
def condition(x: Int): Boolean = ???
!Seq(1, 2).exists(x => !condition(x))
!Seq(1, 2).forall(x => !condition(x))
After the quick-fix is applied:
def condition(x: Int): Boolean = ???
Seq(1, 2).forall(x => condition(x))
Seq(1, 2).exists(x => condition(x))