Remove some additional code that depended on the old type propagation.

pkg/front_end/lib/src/fasta/kernel/kernel_shadow_ast.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 file.
 
 /// This file declares a "shadow hierarchy" of concrete classes which extend
 /// the kernel class hierarchy using mixins from `builder/shadow_ast.dart`.
 ///
 /// Instances of these classes may be created using the factory methods in
 /// `ast_factory.dart`.
 ///
@@ skipping 129 matching lines @@
   /// inference.  Alternative: create a subclass of DynamicType which represents
   /// implicit dynamic ("MissingType" or "ImplicitDynamicType" perhaps).
   DartType _declaredType;
 
   KernelVariableDeclaration(String name,
       {KernelExpression initializer,
       DartType type,
       bool isFinal: false,
       bool isConst: false})
       : _declaredType = type,
-        super(name, initializer, type ?? const kernel.DynamicType(), null,
-            isFinal, isConst);
+        super(name, initializer, type ?? const kernel.DynamicType(), isFinal,
+            isConst);
 
   @override
   KernelExpression get shadowInitializer => initializer;
 
   @override
   DartType get shadowType => _declaredType;
 
   @override
   set shadowType(kernel.DartType type) {
     this.type = type;
@@ skipping 37 matching lines @@
   _KernelReturnStatement(KernelExpression expression) : super(expression);
 }
 
 /// Adaptor class allowing [kernel.VariableDeclaration] to be extended with a
 /// mixin.
 ///
 /// TODO(paulberry): see if we can eliminate the need for this class by adding
 /// a named constructor to [kernel.VariableDeclaration] in which all arguments
 /// are required.
 class _KernelVariableDeclaration extends kernel.VariableDeclaration {
-  _KernelVariableDeclaration(
-      String name,
-      kernel.Expression initializer,
-      DartType type,
-      kernel.InferredValue inferredValue,
-      bool isFinal,
-      bool isConst)
+  _KernelVariableDeclaration(String name, kernel.Expression initializer,
+      DartType type, bool isFinal, bool isConst)
       : super(name,
             initializer: initializer,
             type: type,
-            inferredValue: inferredValue,
             isFinal: isFinal,
             isConst: isConst);
 }
 
 /// Adaptor class allowing [kernel.VariableGet] to be extended with a mixin.
 ///
 /// TODO(paulberry): see if we can eliminate the need for this class by adding
 /// a named constructor to [kernel.VariableGet] in which all arguments are
 /// required.
 class _KernelVariableGet extends kernel.VariableGet {
   _KernelVariableGet(kernel.VariableDeclaration variable, DartType promotedType)
       : super(variable, promotedType);
 }