[Kernel] Remove code from the old type propagation.

pkg/kernel/binary.md

Index: pkg/kernel/binary.md
diff --git a/pkg/kernel/binary.md b/pkg/kernel/binary.md
index 93e457846f4ac1010067995e234b7690f7e21260..bd89d60413832f382e1fb8b7d939cc2103a349da 100644
--- a/pkg/kernel/binary.md
+++ b/pkg/kernel/binary.md
@@ -213,7 +213,6 @@ type Field extends Member {
   UriReference fileUri;
   List<Expression> annotations;
   DartType type;
-  Option<InferredValue> inferredValue;
   Option<Expression> initializer;
 }
 
@@ -304,7 +303,6 @@ type FunctionNode {
   List<VariableDeclaration> positionalParameters;
   List<VariableDeclaration> namedParameters;
   DartType returnType;
-  Option<InferredValue> inferredReturnValue;
   Option<Statement> body;
 }
 
@@ -849,7 +847,6 @@ type VariableDeclaration {
   // and is not necessarily unique.
   StringReference name;
   DartType type;
-  Option<InferredValue> inferredValue;
 
   // For statements and for-loops, this is the initial value.
   // For optional parameters, this is the default value (if given).
@@ -949,12 +946,4 @@ type TypeParameter {
   DartType bound; // 'dynamic' if no explicit bound was given.
 }
 
-/* enum BaseClassKind { None, Exact, Subclass, Subtype, } */
-
-type InferredValue {
-  ClassReference baseClass; // May be NullReference if kind = None.
-  Byte kind; // Index into BaseClassKind.
-  Byte valueBits; // See lib/type_propagation/type_propagation.dart
-}
-
 ```