| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ElementImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ElementImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ElementImpl.java
|
| index a1c7cc57faa2f6743407b35575ced7213ed98580..5febd1806ab70c807839a7f0c3e978b0c22ed448 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ElementImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/element/ElementImpl.java
|
| @@ -99,7 +99,10 @@ public abstract class ElementImpl implements Element {
|
| if (this == object) {
|
| return true;
|
| }
|
| - return object != null && object.getClass() == getClass()
|
| + if (object == null || hashCode() != object.hashCode()) {
|
| + return false;
|
| + }
|
| + return object.getClass() == getClass()
|
| && ((Element) object).getLocation().equals(getLocation());
|
| }
|
|
|
|
|