dfa: don't shadow final variable reassignments with wide irrelevant warnings (IDEA-148984)

java/java-tests/testData/inspection/dataFlow/fixture/DontShadowFinalReassignment.java

@@ -0,0 +1,10 @@
+class Test {
+
+  void f(String value) {
+    final int index = -1;
+    while ((<error descr="Cannot assign a value to final variable 'index'">index</error> = value.indexOf('a')) != -1) {
+      value = value.substring(0, 1);
+    }
+  }
+
+}