openide/java/java-tests/testData/inspection/dataFlow/tracker/Ditto.java

/*
Value is always true (a == a; line#7)
  Comparison arguments are the same (==; line#7)
 */
class Test {
  void test(int a) {
    if (<selection>a == a</selection>) {}
  }
}