Revert "Implements support for ignoring method type arguments in resolution."

pkg/compiler/lib/src/elements/modelx.dart

Index: pkg/compiler/lib/src/elements/modelx.dart
diff --git a/pkg/compiler/lib/src/elements/modelx.dart b/pkg/compiler/lib/src/elements/modelx.dart
index 2c6ec677c76179850be5e753a4c865ea60de4564..fb10635bea3c360447147046384b38a4df056af1 100644
--- a/pkg/compiler/lib/src/elements/modelx.dart
+++ b/pkg/compiler/lib/src/elements/modelx.dart
@@ -15,11 +15,7 @@ import '../diagnostics/messages.dart' show MessageTemplate;
 import '../ordered_typeset.dart' show OrderedTypeSet;
 import '../resolution/class_members.dart' show ClassMemberMixin;
 import '../resolution/scope.dart'
-    show
-        ClassScope,
-        LibraryScope,
-        Scope,
-        TypeDeclarationScope;
+    show ClassScope, LibraryScope, Scope, TypeDeclarationScope;
 import '../resolution/resolution.dart' show AnalyzableElementX;
 import '../resolution/tree_elements.dart' show TreeElements;
 import '../resolution/typedefs.dart' show TypedefCyclicVisitor;
@@ -287,9 +283,6 @@ class ErroneousElementX extends ElementX implements ErroneousElement {
 
   @override
   bool get isFromEnvironmentConstructor => false;
-
-  @override
-  List<DartType> get typeVariables => unsupported();
 }
 
 /// A constructor that was synthesized to recover from a compile-time error.
@@ -1671,9 +1664,6 @@ class FormalElementX extends ElementX
   final Identifier identifier;
   DartType typeCache;
 
-  @override
-  List<DartType> get typeVariables => functionSignature.typeVariables;
-
   /**
    * Function signature for a variable with a function type. The signature is
    * kept to provide full information about parameter names through the mirror
@@ -1903,7 +1893,6 @@ class AbstractFieldElementX extends ElementX implements AbstractFieldElement {
 // TODO(karlklose): all these lists should have element type [FormalElement].
 class FunctionSignatureX extends FunctionSignatureCommon
     implements FunctionSignature {
-  final List<DartType> typeVariables;
   final List<Element> requiredParameters;
   final List<Element> optionalParameters;
   final int requiredParameterCount;
@@ -1914,8 +1903,7 @@ class FunctionSignatureX extends FunctionSignatureCommon
   final bool hasOptionalParameters;
 
   FunctionSignatureX(
-      {this.typeVariables: const <DartType>[],
-      this.requiredParameters: const <Element>[],
+      {this.requiredParameters: const <Element>[],
       this.requiredParameterCount: 0,
       List<Element> optionalParameters: const <Element>[],
       this.optionalParameterCount: 0,
@@ -1996,9 +1984,6 @@ abstract class BaseFunctionElementX extends ElementX
 
   FunctionElement asFunctionElement() => this;
 
-  @override
-  Scope buildScope() => new TypeDeclarationScope(super.buildScope(), this);
-
   String toString() {
     if (isPatch) {
       return 'patch ${super.toString()}';
@@ -2013,9 +1998,6 @@ abstract class BaseFunctionElementX extends ElementX
 
   // A function is defined by the implementation element.
   AstElement get definingElement => implementation;
-
-  @override
-  List<DartType> get typeVariables => functionSignature.typeVariables;
 }
 
 abstract class FunctionElementX extends BaseFunctionElementX
@@ -2173,10 +2155,6 @@ abstract class ConstantConstructorMixin implements ConstructorElement {
             enclosingClass.name == 'int' ||
             enclosingClass.name == 'String');
   }
-
-  /// Returns the empty list of type variables by default.
-  @override
-  List<DartType> get typeVariables => functionSignature.typeVariables;
 }
 
 abstract class ConstructorElementX extends FunctionElementX
@@ -3107,10 +3085,10 @@ class TypeVariableElementX extends ElementX
   DartType boundCache;
 
   TypeVariableElementX(
-      String name, GenericElement enclosing, this.index, this.node)
+      String name, TypeDeclarationElement enclosing, this.index, this.node)
       : super(name, ElementKind.TYPE_VARIABLE, enclosing);
 
-  GenericElement get typeDeclaration => enclosingElement;
+  TypeDeclarationElement get typeDeclaration => enclosingElement;
 
   TypeVariableType computeType(Resolution resolution) => type;