Issue 14358. Check for assignment in any close.

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java
index f62b9d09b3bda632920e51a8bb1491eec96e1018..771454b0a6a5542eba04e2678732fa4da80793a5 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/VariableElementImpl.java
@@ -94,12 +94,22 @@ public abstract class VariableElementImpl extends ElementImpl implements Variabl
   }
 
   /**
+   * Return {@code true} if this variable is potentially mutated somewhere in closure. This
+   * information is only available for local variables (including parameters).
+   * 
+   * @return {@code true} if this variable is potentially mutated somewhere in closure
+   */
+  public boolean isPotentiallyMutatedInClosure() {
+    return false;
+  }
+
+  /**
    * Return {@code true} if this variable is potentially mutated somewhere in its scope. This
    * information is only available for local variables (including parameters).
    * 
    * @return {@code true} if this variable is potentially mutated somewhere in its scope
    */
-  public boolean isPotentiallyMutated() {
+  public boolean isPotentiallyMutatedInScope() {
     return false;
   }