[Kernel] Remove code from the old type propagation.

pkg/kernel/lib/binary/ast_from_binary.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.ast_from_binary;
 
 import 'dart:convert';
 import 'dart:typed_data';
 
 import '../ast.dart';
 import '../transformations/flags.dart';
@@ skipping 115 matching lines @@
 
   String readStringReference() {
     return _stringTable[readUInt()];
   }
 
   String readStringOrNullIfEmpty() {
     var string = readStringReference();
     return string.isEmpty ? null : string;
   }
 
-  InferredValue readOptionalInferredValue() {
-    if (readAndCheckOptionTag()) {
-      Reference baseClass = readClassReference(allowNull: true);
-      BaseClassKind baseClassKind = BaseClassKind.values[readByte()];
-      int valueBits = readByte();
-      return new InferredValue.byReference(baseClass, baseClassKind, valueBits);
-    }
-    return null;
-  }
-
   bool readAndCheckOptionTag() {
     int tag = readByte();
     if (tag == Tag.Nothing) {
       return false;
     } else if (tag == Tag.Something) {
       return true;
     } else {
       throw fail('Invalid Option tag: $tag');
     }
   }
@@ skipping 290 matching lines @@
       node = new Field(null, reference: reference);
     }
     int fileOffset = readOffset();
     int fileEndOffset = readOffset();
     int flags = readByte();
     var name = readName();
     var fileUri = readUriReference();
     var annotations = readAnnotationList(node);
     debugPath.add(node.name?.name ?? 'field');
     var type = readDartType();
-    var inferredValue = readOptionalInferredValue();
     var initializer = readExpressionOption();
     int transformerFlags = getAndResetTransformerFlags();
     debugPath.removeLast();
     if (shouldWriteData) {
       node.fileOffset = fileOffset;
       node.fileEndOffset = fileEndOffset;
       node.flags = flags;
       node.name = name;
       node.fileUri = fileUri;
       node.annotations = annotations;
       node.type = type;
-      node.inferredValue = inferredValue;
       node.initializer = initializer;
       node.initializer?.parent = node;
       node.transformerFlags = transformerFlags;
     }
     return node;
   }
 
   Constructor readConstructor() {
     int tag = readByte();
     assert(tag == Tag.Constructor);
@@ skipping 96 matching lines @@
     int endOffset = readOffset();
     AsyncMarker asyncMarker = AsyncMarker.values[readByte()];
     AsyncMarker dartAsyncMarker = AsyncMarker.values[readByte()];
     int typeParameterStackHeight = typeParameterStack.length;
     var typeParameters = readAndPushTypeParameterList();
     var requiredParameterCount = readUInt();
     int variableStackHeight = variableStack.length;
     var positional = readAndPushVariableDeclarationList();
     var named = readAndPushVariableDeclarationList();
     var returnType = readDartType();
-    var inferredReturnValue = readOptionalInferredValue();
     int oldLabelStackBase = labelStackBase;
     labelStackBase = labelStack.length;
     var body = readStatementOption();
     labelStackBase = oldLabelStackBase;
     variableStack.length = variableStackHeight;
     typeParameterStack.length = typeParameterStackHeight;
     return new FunctionNode(body,
         typeParameters: typeParameters,
         requiredParameterCount: requiredParameterCount,
         positionalParameters: positional,
         namedParameters: named,
         returnType: returnType,
-        inferredReturnValue: inferredReturnValue,
         asyncMarker: asyncMarker,
         dartAsyncMarker: dartAsyncMarker)
       ..fileOffset = offset
       ..fileEndOffset = endOffset;
   }
 
   void pushVariableDeclaration(VariableDeclaration variable) {
     variableStack.add(variable);
   }
 
@@ skipping 511 matching lines @@
     variableStack.add(variable);
     return variable;
   }
 
   VariableDeclaration readVariableDeclaration() {
     int offset = readOffset();
     int fileEqualsOffset = readOffset();
     int flags = readByte();
     return new VariableDeclaration(readStringOrNullIfEmpty(),
         type: readDartType(),
-        inferredValue: readOptionalInferredValue(),
         initializer: readExpressionOption(),
         isFinal: flags & 0x1 != 0,
         isConst: flags & 0x2 != 0)
       ..fileOffset = offset
       ..fileEqualsOffset = fileEqualsOffset;
   }
 
   int readOffset() {
     // Offset is saved as unsigned,
     // but actually ranges from -1 and up (thus the -1)
     return readUInt() - 1;
   }
 }