| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
|
| index ea8f03d6c36a62388771bc229173579569f9e68f..b10af0c289eb09ef4b0b078d5ff982803458626c 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/internal/resolver/InheritanceManager.java
|
| @@ -348,7 +348,8 @@ public class InheritanceManager {
|
| InterfaceType supertype = classElt.getSupertype();
|
| ClassElement superclassElement = supertype != null ? supertype.getElement() : null;
|
| InterfaceType[] interfaces = classElt.getInterfaces();
|
| - if (superclassElement == null || interfaces.length == 0) {
|
| + // If classElt is Object, or the class cannot inherit any members.
|
| + if ((superclassElement == null || supertype.isObject()) && interfaces.length == 0) {
|
| interfaceLookup.put(classElt, resultMap);
|
| return resultMap;
|
| }
|
|
|