Implement complex super assignment.

sdk/lib/_internal/compiler/implementation/elements/modelx.dart

 // Copyright (c) 2013, 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.modelx;
 
 import 'dart:uri';
 import 'dart:collection' show LinkedHashMap;
 
 import 'elements.dart';
@@ skipping 1503 matching lines @@
   /**
    * Find the first member in the class chain with the given [selector].
    *
    * 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.
    *
    * When called on the implementation element both members declared in the
    * origin and the patch class are returned.
    */
-  Element lookupSelector(Selector selector) {
+  Element lookupSelector(Selector selector, {bool superLookup: false}) {
     SourceString name = selector.name;
     bool isPrivate = name.isPrivate();
     LibraryElement library = selector.library;
     for (ClassElement current = this;
          current != null;
          current = current.superclass) {
       Element member = current.lookupLocalMember(name);
       if (member == null) continue;
       // Private members from a different library are not visible.
       if (isPrivate && !identical(library, member.getLibrary())) continue;
       // Static members are not inherited.
-      if (member.modifiers.isStatic() && !identical(this, current)) continue;
+      if (member.modifiers.isStatic() &&
+          (superLookup || !identical(this, current))) {

[kasperl, 2013/03/05 07:32:36]

Hmm. It sounds like superLookup means something different than I expected in
this context. That's a bad sign I guess. It's basically a skip-statics flag?

[ngeoffray, 2013/03/05 08:46:25]

The lookup rules are different when you're looking up for a super method. The
static members should not be considered. When it's a lookup on a class, only
static members of that class are considered (as it is currently implemented).

I could call it 'skipStatic', but that sounds a bit general, and does not
express what it is implementing (that is lookup rules for super call).

+        continue;
+      }
       // If we find an abstract field we have to make sure that it has
       // the getter or setter part we're actually looking
       // for. Otherwise, we continue up the superclass chain.
       if (member.isAbstractField()) {
         AbstractFieldElement field = member;
         FunctionElement getter = field.getter;
         FunctionElement setter = field.setter;
         if (selector.isSetter()) {
           if (setter != null) return setter;
         } else {
@@ skipping 461 matching lines @@
 
   MetadataAnnotation ensureResolved(Compiler compiler) {
     if (resolutionState == STATE_NOT_STARTED) {
       compiler.resolver.resolveMetadataAnnotation(this);
     }
     return this;
   }
 
   String toString() => 'MetadataAnnotation($value, $resolutionState)';
 }