| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/InterfaceTypeImpl.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/InterfaceTypeImpl.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/InterfaceTypeImpl.java
|
| index 0184e6a6c0338da4448a4a5637ccd15f5b9e8d00..22516e1cb4cd861ab61c5b8adb376012b654bddb 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/InterfaceTypeImpl.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/type/InterfaceTypeImpl.java
|
| @@ -809,7 +809,6 @@ public class InterfaceTypeImpl extends TypeImpl implements InterfaceType {
|
| }
|
| visitedClasses.add(elementT);
|
|
|
| - typeT = substitute(typeArguments, elementT.getType().getTypeArguments());
|
| if (typeT.equals(typeS)) {
|
| return true;
|
| } else if (ObjectUtilities.equals(elementT, typeS.getElement())) {
|
|
|