後続の条件によって完全にカバーされる内容であるため、結果的に冗長となる条件を報告します。

たとえば、value != -1 && value > 0 という条件では最初の部分が冗長です。最初の部分が false と評価されると、2 つ目の部分も false になります。 また、obj != null && obj instanceof String のような条件では、instanceof 演算子が null になり得ないことを暗示しているため、null チェックは冗長です。

2018.3 の新機能です