Substitution handled for most Send nodes.

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 795 matching lines @@
       : super(const SourceString('void'), ElementKind.VOID, enclosing);
   Type computeType(compiler) => compiler.types.voidType;
   Node parseNode(_) {
     throw 'internal error: parseNode on void';
   }
   bool impliesType() => true;
 }
 
 class ClassElement extends ContainerElement {
   final int id;
-  Type type;
-  Type supertype;
-  Type defaultClass;
+  InterfaceType type;
+  InterfaceType supertype;
+  InterfaceType defaultClass;
   Link<Element> members = const EmptyLink<Element>();
   Map<SourceString, Element> localMembers;
   Map<SourceString, Element> constructors;
-  Link<Type> interfaces = const EmptyLink<Type>();
+  Link<InterfaceType> interfaces = const EmptyLink<InterfaceType>();
   LinkedHashMap<SourceString, TypeVariableElement> typeParameters;
   bool isResolved = false;
   bool isBeingResolved = false;
   // backendMembers are members that have been added by the backend to simplify
   // compilation. They don't have any user-side counter-part.
   Link<Element> backendMembers = const EmptyLink<Element>();
 
-  Link<Type> allSupertypes;
+  Link<InterfaceType> allSupertypes;
   ClassElement patch = null;
   Node defaultClause;  // Only for interfaces.
 
   ClassElement(SourceString name, CompilationUnitElement enclosing, this.id)
     : localMembers = new Map<SourceString, Element>(),
       constructors = new Map<SourceString, Element>(),
       typeParameters = new LinkedHashMap<SourceString, TypeVariableElement>(),
       super(name, ElementKind.CLASS, enclosing);
 
   void addMember(Element element, DiagnosticListener listener) {
@@ skipping 33 matching lines @@
         TypeVariableElement variableElement =
             new TypeVariableElement(variableName, this, node,
                                     variableType);
         variableType.element = variableElement;
         typeParameters[variableName] = variableElement;
       }
       type = new InterfaceType(this, arguments.toLink());
     }
   }
 
-  Type computeType(compiler) {
+  InterfaceType computeType(compiler) {
     ensureParametersAndType(compiler);
     return type;
   }
 
   ClassElement ensureResolved(Compiler compiler) {
     compiler.resolveClass(this);
     return this;
   }
 
   Element lookupTypeParameter(SourceString parameterName) {
@@ skipping 309 matching lines @@
 
   bool get isSwitch() => statement is SwitchStatement;
 
   Token position() => statement.getBeginToken();
   String toString() => statement.toString();
 }
 
 class TypeVariableElement extends Element {
   final Node node;
   Type bound;
-  Type type;
+  TypeVariableType type;
   TypeVariableElement(name, Element enclosing, this.node, this.type,
                       [this.bound])
     : super(name, ElementKind.TYPE_VARIABLE, enclosing);
-  Type computeType(compiler) => type;
+  TypeVariableType computeType(compiler) => type;
   Node parseNode(compiler) => node;
   toString() => "${enclosingElement.toString()}.${name.slowToString()}";
 }