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

pkg/kernel/lib/transformations/mixin_full_resolution.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.transformations.mixin_full_resolution;
 
 import '../ast.dart';
 import '../class_hierarchy.dart';
 import '../clone.dart';
 import '../core_types.dart';
 import '../type_algebra.dart';
@@ skipping 293 matching lines @@
 
   /// Create a fixed length list containing given expressions.
   Expression _fixedLengthList(List<Expression> list) {
     if (_listFrom == null) {
       Class clazz = coreTypes.getCoreClass('dart:core', 'List');
       _listFrom = clazz.procedures.firstWhere((c) => c.name.name == "from");
     }
     return new StaticInvocation(
         _listFrom,
         new Arguments([new ListLiteral(list)],
-            named: [new NamedExpression("growable", new BoolLiteral(false))]));
+            named: [new NamedExpression("growable", new BoolLiteral(false))],
+            types: [const DynamicType()]));
   }
 
   /// Check that a call to the targetFunction is legal given the arguments.
   ///
   /// I.e. check that the number of positional parameters and the names of the
   /// given named parameters represents a valid call to the function.
   bool _callIsLegal(FunctionNode targetFunction, Arguments arguments) {
     if ((targetFunction.requiredParameterCount > arguments.positional.length) ||
         (targetFunction.positionalParameters.length <
             arguments.positional.length)) {
@@ skipping 34 matching lines @@
           return null;
         }
       }
 
       throw new Exception(
           'Could not find a generative constructor named "${constructor.name}" '
           'in lookup class "${lookupClass.name}"!');
     }
   }
 }