effectively final: check flow at variable start (IDEA-114737)

java/java-psi-impl/src/com/intellij/psi/controlFlow/ControlFlowUtil.java

@@ -898,7 +898,8 @@ public class ControlFlowUtil {
 
       @Override
       public Boolean getResult() {
-        return !maybeUnassigned[0];
+        final int variableDeclarationOffset = flow.getStartOffset(variable.getParent());
+        return !maybeUnassigned[variableDeclarationOffset > -1 ? variableDeclarationOffset : 0];
       }
     }
     if (flow.getSize() == 0) return false;

java/java-tests/testData/codeInsight/daemonCodeAnalyzer/lambda/highlighting/EffectiveFinal.java

@@ -114,4 +114,17 @@ class ParameterIsEffectivelyFinal {
       return 0;
     };
   }
-}
+}
+
+class IDEA114737 {
+  private void on(String propertyName) {
+    if (!"taskServices".equals(propertyName)) {
+      return;
+    }
+    java.util.List<String> newList = null;
+    Comparable<String> c1 = o -> {
+      System.out.println(newList);
+      return 0;
+    };
+  }
+}