Check overrides.

dart/lib/compiler/implementation/elements/elements.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #library('elements');
 
 #import('../tree/tree.dart');
 #import('../scanner/scannerlib.dart');
 #import('../leg.dart');  // TODO(karlklose): we only need type.
 #import('../util/util.dart');
@@ skipping 257 matching lines @@
 
   bool _isNative = false;
   void setNative() { _isNative = true; }
   bool isNative() => _isNative;
 
   FunctionElement asFunctionElement() => null;
 
   Element cloneTo(Element enclosing, DiagnosticListener listener) {
     listener.cancel("Unimplemented cloneTo", element: this);
   }
+
+  Link<Type> get allSupertypesAndSelf() {
+    return allSupertypes.prepend(new InterfaceType(this));
+  }
 }
 
 class ContainerElement extends Element {
   ContainerElement(name, kind, enclosingElement) :
     super(name, kind, enclosingElement);
 
   abstract void addMember(Element element, DiagnosticListener listener);
 
   void addGetterOrSetter(Element element,
                          Element existing,
@@ skipping 780 matching lines @@
     bool isPrivate = memberName.isPrivate();
     for (ClassElement s = superclass; s != null; s = s.superclass) {
       // Private members from a different library are not visible.
       if (isPrivate && getLibrary() !== s.getLibrary()) continue;
       Element e = s.lookupLocalMember(memberName);
       if (e === null) continue;
       // Static members are not inherited.
       if (e.modifiers.isStatic()) continue;
       return e;
     }
+    if (isInterface()) {
+      return lookupSuperInterfaceMember(memberName, getLibrary());
+    }
     return null;
   }
 
+  Element lookupSuperInterfaceMember(SourceString memberName,
+                                     LibraryElement fromLibrary) {
+    for (Type t in interfaces) {
+      Element e = t.element.lookupLocalMember(memberName);
+      if (e === null) continue;
+      // Private members from a different library are not visible.
+      if (memberName.isPrivate() && fromLibrary !== e.getLibrary()) continue;

[karlklose, 2012/08/14 11:06:51]

You could store the result of memberName.isPrivate() in a local outside the
loop.

[ahe, 2012/08/14 18:20:34]

Done.

+      // Static members are not inherited.
+      if (e.modifiers.isStatic()) continue;
+      return e;
+    }
+  }

[karlklose, 2012/08/14 11:06:51]

I would prefer an explicit 'return null' here.

[ahe, 2012/08/14 18:20:34]

Done.

+
   /**
    * Find the first member in the class chain with the given
    * [memberName]. This method is NOT to be used for resolving
    * unqualified sends because it does not implement the scoping
    * rules, where library scope comes before superclass scope.
    */
   Element lookupMember(SourceString memberName) {
     Element localMember = localMembers[memberName];
     return localMember === null ? lookupSuperMember(memberName) : localMember;
   }
@@ skipping 328 matching lines @@
   Node parseNode(compiler) => cachedNode;
 
   String toString() => "${enclosingElement.toString()}.${name.slowToString()}";
 
   TypeVariableElement cloneTo(Element enclosing, DiagnosticListener listener) {
     TypeVariableElement result =
         new TypeVariableElement(name, enclosing, node, type, bound);
     return result;
   }
 }