Check overrides.

dart/lib/compiler/implementation/enqueue.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.
 
 class EnqueueTask extends CompilerTask {
   final Enqueuer codegen;
   final Enqueuer resolution;
 
   String get name() => 'Enqueue';
 
@@ skipping 196 matching lines @@
       }
     } else if (member.kind === ElementKind.SETTER) {
       if (universe.hasInvokedSetter(member, compiler)) {
         return addToWorkList(member);
       }
     }
   }
 
   void onRegisterInstantiatedClass(ClassElement cls) {
     task.measure(() {
-      while (cls !== null) {
-        if (seenClasses.contains(cls)) return;
+      cls.ensureResolved(compiler); // So allSupertypesAndSelf works.

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

How about something like 'Compute set of all supertypes.'?

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

Done.

+      for (Link<Type> supertypes = cls.allSupertypesAndSelf;
+           !supertypes.isEmpty(); supertypes = supertypes.tail) {
+        cls = supertypes.head.element;
+        if (seenClasses.contains(cls)) continue;
         seenClasses.add(cls);
         cls.ensureResolved(compiler);
-        cls.members.forEach(processInstantiatedClassMember);
-        cls = cls.superclass;
+        if (!cls.isInterface()) {
+          cls.members.forEach(processInstantiatedClassMember);
+        }
+        if (isResolutionQueue) {
+          compiler.resolver.checkMembers(cls);
+        }
       }
     });
   }
 
   void registerNewSelector(SourceString name,
                            Selector selector,
                            Map<SourceString, Set<Selector>> selectorsMap) {
     Set<Selector> selectors =
         selectorsMap.putIfAbsent(name, () => new Set<Selector>());
     if (!selectors.contains(selector)) {
@@ skipping 92 matching lines @@
   void forEach(f(WorkItem work)) {
     while (!queue.isEmpty()) {
       do {
         f(queue.removeLast());
       } while (!queue.isEmpty());
       // TODO(ahe): we shouldn't register the field closure invocations here.
       registerFieldClosureInvocations();
     }
   }
 }