When reordering constructor initializers, use correct types for temp vars.

pkg/front_end/lib/src/fasta/type_inference/type_inferrer.dart

 // Copyright (c) 2017, 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.md file.
 
 import 'package:front_end/src/base/instrumentation.dart';
-import 'package:front_end/src/fasta/problems.dart' show unhandled;
 import 'package:front_end/src/fasta/kernel/kernel_shadow_ast.dart';
 import 'package:front_end/src/fasta/names.dart' show callName;
+import 'package:front_end/src/fasta/problems.dart' show unhandled;
 import 'package:front_end/src/fasta/type_inference/type_inference_engine.dart';
 import 'package:front_end/src/fasta/type_inference/type_inference_listener.dart';
 import 'package:front_end/src/fasta/type_inference/type_promotion.dart';
 import 'package:front_end/src/fasta/type_inference/type_schema.dart';
 import 'package:front_end/src/fasta/type_inference/type_schema_elimination.dart';
 import 'package:front_end/src/fasta/type_inference/type_schema_environment.dart';
 import 'package:kernel/ast.dart'
     show
         Arguments,
         AsyncMarker,
@@ skipping 177 matching lines @@
 /// Keeps track of the local state for the type inference that occurs during
 /// compilation of a single method body or top level initializer.
 ///
 /// This class describes the interface for use by clients of type inference
 /// (e.g. BodyBuilder).  Derived classes should derive from [TypeInferrerImpl].
 abstract class TypeInferrer {
   /// Gets the [TypePromoter] that can be used to perform type promotion within
   /// this method body or initializer.
   TypePromoter get typePromoter;
 
+  /// Gets the [TypeSchemaEnvironment] being used for type inference.
+  TypeSchemaEnvironment get typeSchemaEnvironment;
+
   /// The URI of the code for which type inference is currently being
   /// performed--this is used for testing.
   String get uri;
 
   /// Performs full type inference on the given field initializer.
   void inferFieldInitializer(DartType declaredType, Expression initializer);
 
   /// Performs type inference on the given function body.
   void inferFunctionBody(
       DartType returnType, AsyncMarker asyncMarker, Statement body);
@@ skipping 11 matching lines @@
 
 /// Implementation of [TypeInferrer] which doesn't do any type inference.
 ///
 /// This is intended for profiling, to ensure that type inference and type
 /// promotion do not slow down compilation too much.
 class TypeInferrerDisabled extends TypeInferrer {
   @override
   final typePromoter = new TypePromoterDisabled();
 
   @override
+  final TypeSchemaEnvironment typeSchemaEnvironment;
+
+  TypeInferrerDisabled(this.typeSchemaEnvironment);
+
+  @override
   String get uri => null;
 
   @override
   void inferFieldInitializer(DartType declaredType, Expression initializer) {}
 
   @override
   void inferFunctionBody(
       DartType returnType, AsyncMarker asyncMarker, Statement body) {}
 
   @override
@@ skipping 798 matching lines @@
   void _forEachArgument(
       Arguments arguments, void callback(String name, Expression expression)) {
     for (var expression in arguments.positional) {
       callback(null, expression);
     }
     for (var namedExpression in arguments.named) {
       callback(namedExpression.name, namedExpression.value);
     }
   }
 }