Fix type annotation in the typechecker.

lib/compiler/implementation/typechecker.dart

Index: lib/compiler/implementation/typechecker.dart
diff --git a/lib/compiler/implementation/typechecker.dart b/lib/compiler/implementation/typechecker.dart
index a5489eedaaff9abb5f814cad83d1e11d1d80fb65..b01a79391b6938e9e1b5ef9f32ec0e889aa2d39d 100644
--- a/lib/compiler/implementation/typechecker.dart
+++ b/lib/compiler/implementation/typechecker.dart
@@ -464,14 +464,15 @@ class TypeCheckerVisitor implements Visitor<Type> {
     return types.dynamicType;
   }
 
-  void analyzeArguments(Send send, FunctionType funType) {
+  void analyzeArguments(Send send, Type type) {
     Link<Node> arguments = send.arguments;
-    if (funType === null || funType === types.dynamicType) {
+    if (type === null || type === types.dynamicType) {
       while(!arguments.isEmpty()) {
         analyze(arguments.head);
         arguments = arguments.tail;
       }
     } else {
+      FunctionType funType = type;
       Link<Type> parameterTypes = funType.parameterTypes;
       while (!arguments.isEmpty() && !parameterTypes.isEmpty()) {
         checkAssignable(arguments.head, parameterTypes.head,