Revert resolver from https://chromiumcodereview.appspot.com/10824062

lib/compiler/implementation/resolver.dart

Index: lib/compiler/implementation/resolver.dart
diff --git a/lib/compiler/implementation/resolver.dart b/lib/compiler/implementation/resolver.dart
index fc52a7c9c71d18d8076bd420f84158b56fccd8d1..94808dc9e4b4d63e5c9a268f40e52da970dde9cf 100644
--- a/lib/compiler/implementation/resolver.dart
+++ b/lib/compiler/implementation/resolver.dart
@@ -699,9 +699,9 @@ class TypeResolver {
   final Compiler compiler;
   TypeResolver(this.compiler);
 
-  Element resolveTypeName(Scope context, Node typeNode) {
-    Identifier typeName = typeNode.asIdentifier();
-    Send send = typeNode.asSend();
+  Element resolveTypeName(Scope context, TypeAnnotation node) {
+    Identifier typeName = node.typeName.asIdentifier();
+    Send send = node.typeName.asSend();
     if (send !== null) {
       typeName = send.selector;
     }
@@ -744,26 +744,9 @@ class TypeResolver {
                                           whenResolved);
   }
 
-  Type resolveTypeVariableInContext(Scope context, TypeVariable node,
-                                    onFailure) {
-    Element element = resolveTypeName(context, node.name);
-    Type type;
-    if (element === null) {
-      onFailure(node, MessageKind.CANNOT_RESOLVE_TYPE, [node.name]);
-    } else if (!element.impliesType()) {
-      onFailure(node, MessageKind.NOT_A_TYPE, [node.name]);
-    } else if (element.isTypeVariable()) {
-      type = element.computeType(compiler);
-    } else {
-      compiler.cancel("unexpected element kind ${element.kind}",
-                      node: node);
-    }
-    return type;
-  }
-
   Type resolveTypeAnnotationInContext(Scope context, TypeAnnotation node,
                                       onFailure, whenResolved) {
-    Element element = resolveTypeName(context, node.typeName);
+    Element element = resolveTypeName(context, node);
     Type type;
     if (element === null) {
       onFailure(node, MessageKind.CANNOT_RESOLVE_TYPE, [node.typeName]);
@@ -786,16 +769,10 @@ class TypeResolver {
               onFailure(typeArguments.head,
                         MessageKind.ADDITIONAL_TYPE_ARGUMENT);
             }
-            // TypeVariable may happen in default clause of an interface.
-            Type argType;
-            if (typeArguments.head is TypeVariable) {
-              argType = resolveTypeVariableInContext(
-                  new ClassScope(cls, cls.getLibrary()), typeArguments.head,
-                  onFailure);
-            } else {
-              argType = resolveTypeAnnotationInContext(context,
-                  typeArguments.head, onFailure, whenResolved);
-            }
+            Type argType = resolveTypeAnnotationInContext(context,
+                                                          typeArguments.head,
+                                                          onFailure,
+                                                          whenResolved);
             arguments.addLast(argType);
           }
           if (index < cls.typeParameters.length) {