Start propagating non-primitive types in the backend, and fold instructions that know about the typ…

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 731 matching lines @@
       Element e = s.lookupLocalMember(memberName);
       if (e !== null) {
         if (!memberName.isPrivate() || getLibrary() === e.getLibrary()) {
           return e;
         }
       }
     }
     return null;
   }
 
+  Element lookupMember(SourceString memberName) {

[ahe, 2012/04/18 15:23:00]

Could you put a big fat warning about this not being the right method to use for
resolving unqualified sends? In a documentation comment, please.

[ngeoffray, 2012/04/19 08:09:33]

Done.

+    Element localMember = localMembers[memberName];
+    return localMember === null ? lookupSuperMember(memberName) : localMember;
+  }
+
   Element lookupConstructor(SourceString className,
                             [SourceString constructorName =
                                  const SourceString(''),
                             Element noMatch(Element)]) {
     // TODO(karlklose): have a map from class names to a map of constructors
     //                  instead of creating the name here?
     SourceString normalizedName;
     if (constructorName !== const SourceString('')) {
       normalizedName = Elements.constructConstructorName(className,
                                                          constructorName);
@@ skipping 254 matching lines @@
   final Node node;
   Type bound;
   Type type;
   TypeVariableElement(name, Element enclosing, this.node, this.type,
                       [this.bound])
     : super(name, ElementKind.TYPE_VARIABLE, enclosing);
   Type computeType(compiler) => type;
   Node parseNode(compiler) => node;
   toString() => "${enclosingElement.toString()}.${name.slowToString()}";
 }