Condition is covered by further condition
Reports conditions that become redundant as they are completely covered by a subsequent condition.
For example, in the
value != -1 && value > 0 condition, the first part is redundant: if it's false, then the second part is also false. Or in a condition like
obj != null && obj instanceof String, the null-check is redundant as
instanceof operator implies non-nullity.
New in 2018.3
IntelliJ IDEA 2023.3, Qodana for JVM 2023.3