This adds a unit test to show the type checking functionality missing in dartc

compiler/java/com/google/dart/compiler/resolver/ResolutionContext.java

 // 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.
 
 package com.google.dart.compiler.resolver;
 
 import com.google.common.annotations.VisibleForTesting;
 import com.google.dart.compiler.DartCompilationError;
 import com.google.dart.compiler.DartCompilerContext;
 import com.google.dart.compiler.ErrorCode;
@@ skipping 214 matching lines @@
     if (typeArgumentNodes == null || typeArgumentNodes.size() != typeParameters.size()) {
       typeArguments = new Type[typeParameters.size()];
       for (int i = 0; i < typeArguments.length; i++) {
         typeArguments[i] = typeProvider.getDynamicType();
       }
       if (typeArgumentNodes != null && typeArgumentNodes.size() > 0) {
         ErrorCode wrongNumberErrorCode =
             errorCode instanceof ResolverErrorCode
                 ? ResolverErrorCode.WRONG_NUMBER_OF_TYPE_ARGUMENTS
                 : TypeErrorCode.WRONG_NUMBER_OF_TYPE_ARGUMENTS;
-        onError(node, wrongNumberErrorCode, element.getType());
+        onError(node, wrongNumberErrorCode, element.getType(), typeParameters.size());
       }
       int index = 0;
       if (typeArgumentNodes != null) {
         for (DartTypeNode typeNode : typeArgumentNodes) {
           Type type = resolveType(typeNode, isStatic, isFactory, errorCode);
           typeNode.setType(type);
           if (index < typeArguments.length) {
             typeArguments[index] = type;
           }
           index++;
@@ skipping 80 matching lines @@
       return null;
     }
 
     @Override
     public Element visitIdentifier(DartIdentifier node) {
       String name = node.getTargetName();
       return scope.findElement(scope.getLibrary(), name);
     }
   }
 }