frog: generalize checking that type args aren't used in static methods

frog/member.dart

 // Copyright (c) 2011, 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.
 
 /** A formal parameter to a [Method]. */
 class Parameter {
   FormalNode definition;
   Member method;
 
   String name;
   Type type;
   bool isInitializer = false;
 
   Value value;
 
   Parameter(this.definition, this.method);
 
   resolve() {
     name = definition.name.name;
     if (name.startsWith('this.')) {
       name = name.substring(5);
       isInitializer = true;
     }
 
     type = method.resolveType(definition.type, false);
 
-    if (method.isStatic && method.typeParameters === null && type.hasTypeParams) {
-      world.error('using type parameter in static context', definition.span);
-    }
-
     if (definition.value != null) {
       // To match VM, detect cases where value was not actually specified in
       // code and don't signal errors.
       // TODO(jimhug): Clean up after issue #352 is resolved.
       if (definition.value is NullExpression &&
           definition.value.span.start == definition.span.start) {
         return;
       }
       if (method.name == ':call') {
         // TODO(jimhug): Need simpler way to detect "true" function types vs.
@@ skipping 1342 matching lines @@
       // TODO(jimhug): Clean up construction of Parameters.
       var param = new Parameter(formal, this);
       param.resolve();
       parameters.add(param);
     }
 
     if (!isLambda) {
       library._addMember(this);
     }
   }
+
+  /** Overriden to ensure that type arguments aren't used in static methods. */
+  Type resolveType(TypeReference node, bool typeErrors) {
+    Type t = super.resolveType(node, typeErrors);
+    if (isStatic && t is ParameterType &&
+       (typeParameters === null || !typeParameters.some((p) => p === t))) {
+      world.error('using type parameter in static context.', node.span);
+    }
+    return t;
+  }
 }
 
 
 class MemberSet {
   final String name;
   final List<Member> members;
   final String jsname;
   final bool isVar;
 
   MemberSet(Member member, [bool isVar=false]):
@@ skipping 322 matching lines @@
   }
 
   void forEach(void f(Member member)) {
     factories.forEach((_, Map constructors) {
       constructors.forEach((_, Member member) {
         f(member);
       });
     });
   }
 }