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