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 1691 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.isValid(target) && target.hasSignature()

[ngeoffray, 2012/10/25 14:21:58]

Actually, I'd prefer having the applies method taking care of it. If the target
does not have a signature, of course it does not apply.

[ahe, 2012/10/25 15:37:36]

I agree.

[karlklose, 2012/10/26 11:08:48]

We only want to warn if the element is known and has a signature, but does not
apply. We don't want to warn for parameters, fields and foreign elements.

I have added the hasSignature() check to applies, too.

+        && !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 1253 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;
   }
 }