Make unmatched static call a runtime error.

lib/compiler/implementation/resolution/members.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.
 
 abstract class TreeElements {
   Element operator[](Node node);
   Selector getSelector(Send send);
   DartType getType(Node node);
   bool isParameterChecked(Element element);
 }
@@ skipping 1681 matching lines @@
     // we need to register that fact that we may be calling a closure
     // with the same arguments.
     if (node.isCall &&
         (Elements.isUnresolved(target) ||
          target.isGetter() ||
          Elements.isClosureSend(node, target))) {
       Selector call = new Selector.callClosureFrom(selector);
       world.registerDynamicInvocation(call.name, call);
     }
 
+    if (!Elements.isUnresolved(target)
+        && (target.kind == ElementKind.FUNCTION
+            || target.kind == ElementKind.GENERATIVE_CONSTRUCTOR)

[ngeoffray, 2012/10/25 11:24:09]

Why do you need these kind checks?

[karlklose, 2012/10/25 13:55:44]

I need to be able to compute the signature for the applies check.

+        && !selector.applies(target, compiler)) {
+      // TODO(karlklose): we can be more precise about the reason of the
+      // mismatch.
+      warning(node, MessageKind.INVALID_ARGUMENTS, [target.name]);
+    }
+
     // TODO(ngeoffray): Warn if target is null and the send is
     // unqualified.
     useElement(node, target);
     registerSend(selector, target);
     return node.isPropertyAccess ? target : null;
   }
 
   visitSendSet(SendSet node) {
     Element target = resolveSend(node);
     Element setter = target;
@@ skipping 1252 matching lines @@
       error(node, MessageKind.CANNOT_INSTANTIATE_TYPEDEF, [name]);
     } else if (identical(e.kind, ElementKind.TYPE_VARIABLE)) {
       error(node, MessageKind.CANNOT_INSTANTIATE_TYPE_VARIABLE, [name]);
     } else if (!identical(e.kind, ElementKind.CLASS)
         && !identical(e.kind, ElementKind.PREFIX)) {
       error(node, MessageKind.NOT_A_TYPE, [name]);
     }
     return e;
   }
 }