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

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

Index: pkg/kernel/testcases/type-propagation/argument.baseline.txt
diff --git a/pkg/kernel/testcases/type-propagation/argument.baseline.txt b/pkg/kernel/testcases/type-propagation/argument.baseline.txt
deleted file mode 100644
index f12051149eb04937feaf236b3ace9c788e370a60..0000000000000000000000000000000000000000
--- a/pkg/kernel/testcases/type-propagation/argument.baseline.txt
+++ /dev/null
@@ -1,37 +0,0 @@
-library;
-import self as self;
-import "dart:core" as core;
-
-abstract class Base extends core::Object {
-  constructor •() → void
-    : super core::Object::•()
-    ;
-}
-class Foo extends self::Base {
-  constructor •() → void
-    : super self::Base::•()
-    ;
-}
-class Bar extends self::Base {
-  constructor •() → void
-    : super self::Base::•()
-    ;
-}
-class Baz extends self::Base {
-  constructor •() → void
-    : super self::Base::•()
-    ;
-}
-static method foo(dynamic/self::Foo! {other} x) → void/Null {}
-static method bar(dynamic/self::Bar! {other} x) → void/Null {}
-static method foo_escaped(dynamic/core::Object+ {*} x) → void/Null {}
-static method bar_escaped(dynamic/core::Object+ {*} x) → void/Null {}
-static method escape(dynamic/core::Function* {other} fn) → void/Null {
-  fn.call(new self::Baz::•());
-}
-static method main() → dynamic/Null {
-  self::foo(new self::Foo::•());
-  self::bar(new self::Bar::•());
-  self::escape(self::foo_escaped);
-  self::escape(self::bar_escaped);
-}