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

pkg/kernel/testcases/type-propagation/override.baseline.txt

Index: pkg/kernel/testcases/type-propagation/override.baseline.txt
diff --git a/pkg/kernel/testcases/type-propagation/override.baseline.txt b/pkg/kernel/testcases/type-propagation/override.baseline.txt
deleted file mode 100644
index 89d7c332f008aa41068e429404024cfc5ce2745e..0000000000000000000000000000000000000000
--- a/pkg/kernel/testcases/type-propagation/override.baseline.txt
+++ /dev/null
@@ -1,35 +0,0 @@
-library;
-import self as self;
-import "dart:core" as core;
-
-class Foo extends core::Object {
-  constructor •() → void
-    : super core::Object::•()
-    ;
-}
-class Bar extends self::Foo {
-  constructor •() → void
-    : super self::Foo::•()
-    ;
-}
-class Base extends core::Object {
-  constructor •() → void
-    : super core::Object::•()
-    ;
-  method method() → self::Foo/self::Foo! {other} {
-    return new self::Foo::•();
-  }
-}
-class Sub extends self::Base {
-  constructor •() → void
-    : super self::Base::•()
-    ;
-  method method() → self::Foo/self::Bar! {other} {
-    return new self::Bar::•();
-  }
-}
-static method main(core::List<core::String>/Nothing args) → dynamic/Null {
-  dynamic/self::Base+ {other} object = args.length.==(0) ? new self::Base::•() : new self::Sub::•();
-  dynamic/self::Foo+ {other} a = object.method();
-  core::print(a);
-}