Check that invocations have well-formed targets in kernel verifier.

pkg/kernel/lib/analyzer/ast_from_analyzer.dart

 // Copyright (c) 2016, 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.
 library kernel.analyzer.ast_from_analyzer;
 
 import '../ast.dart' as ast;
 import '../frontend/accessors.dart';
 import '../frontend/super_initializers.dart';
 import '../log.dart';
 import '../type_algebra.dart';
@@ skipping 1659 matching lines @@
       element = element.redirectedConstructor;
       var base = ReferenceScope.getBaseElement(element);
       if (base == anchor) return null; // Cyclic redirection.
       if (n & ++n == 0) {
         anchor = base;
       }
     }
     return element;
   }
 
+  /// Forces the list of type arguments to have the specified length. If the
+  /// length was changed, all type arguments are changed to `dynamic`.
+  void _coerceTypeArgumentArity(List<ast.DartType> typeArguments, int arity) {
+    if (typeArguments.length != arity) {
+      typeArguments.length = arity;
+      typeArguments.fillRange(0, arity, const ast.DynamicType());
+    }
+  }
+
   ast.Expression visitInstanceCreationExpression(
       InstanceCreationExpression node) {
     ConstructorElement element = node.staticElement;
     ClassElement classElement = element?.enclosingElement;
     List<ast.DartType> inferTypeArguments() {
       var inferredType = scope.getInferredType(node);
       if (inferredType is ast.InterfaceType) {
         return inferredType.typeArguments.toList();
       }
       int numberOfTypeArguments =
@@ skipping 32 matching lines @@
       classElement = element.enclosingElement;
     }
     element = ReferenceScope.getBaseElement(element);
     if (node.isConst && !element.isConst) {
       return scope
           .emitInvalidConstant(CompileTimeErrorCode.CONST_WITH_NON_CONST);
     }
     if (classElement.isEnum) {
       return scope.emitCompileTimeError(CompileTimeErrorCode.INSTANTIATE_ENUM);
     }
+    _coerceTypeArgumentArity(
+        arguments.types, classElement.typeParameters.length);
     if (element.isFactory) {
       ast.Member target = scope.resolveConcreteMethod(element);
       if (target is ast.Procedure &&
           scope.areArgumentsCompatible(element, arguments)) {
         return new ast.StaticInvocation(target, arguments,
             isConst: node.isConst);
       } else {
         return noSuchMethodError();
       }
     }
@@ skipping 1055 matching lines @@
     if (list[i - 1].compareTo(item) == 0) {
       ++deleted;
     } else if (deleted > 0) {
       list[i - deleted] = item;
     }
   }
   if (deleted > 0) {
     list.length -= deleted;
   }
 }