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

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

Index: pkg/kernel/testcases/type-propagation/fallthrough.baseline.txt
diff --git a/pkg/kernel/testcases/type-propagation/fallthrough.baseline.txt b/pkg/kernel/testcases/type-propagation/fallthrough.baseline.txt
deleted file mode 100644
index 1d635f0df42fe4be3c7327cdee12c18020323a5b..0000000000000000000000000000000000000000
--- a/pkg/kernel/testcases/type-propagation/fallthrough.baseline.txt
+++ /dev/null
@@ -1,38 +0,0 @@
-library;
-import self as self;
-import "dart:core" as core;
-
-static method main(core::List<core::String>/Nothing args) → void/Null {
-  dynamic/core::int* {int} x = args.length;
-  #L1:
-  switch(x) {
-    #L2:
-    case 3:
-      {
-        x = 4;
-        throw new core::FallThroughError::•();
-      }
-    #L3:
-    case 5:
-      {
-        break #L1;
-      }
-    #L4:
-    case 6:
-    case 7:
-      {
-        if(args.[](0).==("")) {
-          break #L1;
-        }
-        else {
-          return;
-        }
-        throw new core::FallThroughError::•();
-      }
-    #L5:
-    case 4:
-      {
-        break #L1;
-      }
-  }
-}