Index: pkg/kernel/testcases/type-propagation/bad_store.baseline.txt |
diff --git a/pkg/kernel/testcases/type-propagation/bad_store.baseline.txt b/pkg/kernel/testcases/type-propagation/bad_store.baseline.txt |
deleted file mode 100644 |
index fa015129fca90f221a2f6aac1bec8bb29df458b5..0000000000000000000000000000000000000000 |
--- a/pkg/kernel/testcases/type-propagation/bad_store.baseline.txt |
+++ /dev/null |
@@ -1,24 +0,0 @@ |
-library; |
-import self as self; |
-import "dart:core" as core; |
- |
-class Foo extends core::Object { |
- field dynamic/core::String* {null,string} field = null; |
- constructor •() → void |
- : super core::Object::•() |
- ; |
-} |
-static method identity(dynamic/self::Foo! {other} x) → dynamic/self::Foo! {other} |
- return x; |
-static method use(dynamic/core::String* {null,string} x) → void/Null {} |
-static method main(core::List<core::String>/Nothing args) → dynamic/Null { |
- dynamic/self::Foo! {other} foo = self::identity(new self::Foo::•()); |
- if(args.length.>(1)) { |
- foo.field = "string"; |
- dynamic/core::String* {null,string} first = foo.field; |
- self::use(first); |
- foo.noField = "string"; |
- dynamic/Nothing second = foo.noField; |
- self::use(second); |
- } |
-} |