Issue 14358. Check for assignment in any close.

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
index 8e069df4f4a06488d986e42a956bda1c8c9e383c..79c6352ecb25c92e3a14c4d915b510110fbe22c3 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ParameterElementImpl.java
@@ -29,7 +29,12 @@ public class ParameterElementImpl extends VariableElementImpl implements Paramet
   /**
    * Is {@code true} if this variable is potentially mutated somewhere in its scope.
    */
-  private boolean isPotentiallyMutated;
+  private boolean isPotentiallyMutatedInScope;
+
+  /**
+   * Is {@code true} if this variable is potentially mutated somewhere in closure.
+   */
+  private boolean isPotentiallyMutatedInClosure;
 
   /**
    * An array containing all of the parameters defined by this parameter element. There will only be
@@ -131,15 +136,27 @@ public class ParameterElementImpl extends VariableElementImpl implements Paramet
   }
 
   @Override
-  public boolean isPotentiallyMutated() {
-    return isPotentiallyMutated;
+  public boolean isPotentiallyMutatedInClosure() {
+    return isPotentiallyMutatedInClosure;
+  }
+
+  @Override
+  public boolean isPotentiallyMutatedInScope() {
+    return isPotentiallyMutatedInScope;
   }
 
   /**
    * Specifies that this variable is potentially mutated somewhere in its scope.
    */
   public void markPotentiallyMutated() {

[Brian Wilkerson, 2013/10/29 19:34:06]

nit: add "InScope" to name.

-    isPotentiallyMutated = true;
+    isPotentiallyMutatedInScope = true;
+  }
+
+  /**
+   * Specifies that this variable is potentially mutated somewhere in closure.
+   */
+  public void markPotentiallyMutatedInClosure() {
+    isPotentiallyMutatedInClosure = true;
   }
 
   /**