Fix many bugs with closure conversion in checked mode.

pkg/kernel/lib/transformations/closure/converter.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.closure.converter;
 
 import '../../ast.dart'
     show
         AsyncMarker,
         Arguments,
         Block,
         Catch,
         Class,
         ClosureCreation,
         Constructor,
         DartType,
         DoStatement,
+        DynamicType,
         EmptyStatement,
         Expression,
         ExpressionStatement,
         Field,
         ForInStatement,
         ForStatement,
         FunctionDeclaration,
         FunctionExpression,
         FunctionNode,
         FunctionType,
@@ skipping 18 matching lines @@
         StaticInvocation,
         ThisExpression,
         Transformer,
         TreeNode,
         TypeParameter,
         TypeParameterType,
         VariableDeclaration,
         VariableGet,
         VariableSet,
         VectorCreation,
-        VectorType,
         WhileStatement,
         transformList;
 
 import '../../frontend/accessors.dart' show VariableAccessor;
 
 import '../../clone.dart' show CloneVisitor;
 
 import '../../core_types.dart' show CoreTypes;
 
 import '../../type_algebra.dart' show substitute;
@@ skipping 296 matching lines @@
     }
     FunctionNode enclosingFunction = currentFunction;
     Map<TypeParameter, DartType> enclosingTypeSubstitution = typeSubstitution;
     currentFunction = function;
     Statement body = function.body;
     assert(body != null);
 
     rewriter = makeRewriterForBody(function);
 
     VariableDeclaration contextVariable =
-        new VariableDeclaration("#contextParameter", type: const VectorType());
+        new VariableDeclaration("#contextParameter", type: const DynamicType());
     Context parent = context;
     context = context.toNestedContext(
         new VariableAccessor(contextVariable, null, TreeNode.noOffset));
 
     Set<TypeParameter> captured =
         capturedTypeVariables[currentFunction] ?? new Set<TypeParameter>();
     typeSubstitution = copyTypeVariables(captured);
 
     function.transformChildren(this);
 
@@ skipping 455 matching lines @@
     copy.function.body.parent = copy.function;
     return copy;
   }
 
   void addGetterForwarder(Name name, Procedure getter) {
     assert(getter.isGetter);
     newClassMembers
         .add(copyWithBody(getter, forwardToThisProperty(getter))..name = name);
   }
 }