Runtime support for Null as any in dart2js

tests/language/null_is_bottom_test.dart

Index: tests/language/null_is_bottom_test.dart
diff --git a/tests/language/null_is_bottom_test.dart b/tests/language/null_is_bottom_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..ca6a0620741583a5576323fa7094926b05503c4e
--- /dev/null
+++ b/tests/language/null_is_bottom_test.dart
@@ -0,0 +1,104 @@
+// Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
+// for details. All rights reserved. Use of this source code is governed by a
+// BSD-style license that can be found in the LICENSE file.
+
+// Test that Null is a subtype of any other type.
+
+import 'package:expect/expect.dart';
+
+class A {}
+typedef A ReturnA();
+typedef TakeA(A a);
+typedef Null ReturnNull();
+typedef TakeNull(Null n);
+
+@NoInline()
+testA(A testAsListA) {}
+
+@NoInline()
+testListA(List<A> list) {}
+
+@NoInline()
+testIsListA(var a) => a is List<A>;
+
+@NoInline()
+testAsListA(var a) => a as List<A>;
+
+@NoInline()
+testNull(Null n) {}
+
+@NoInline()
+testListNull(List<Null> list) {}
+
+@NoInline()
+testIsListNull(var a) => a is List<Null>;
+
+@NoInline()
+testAsListNull(var a) => a as List<Null>;
+
+@NoInline()
+testReturnA(ReturnA f) {}
+
+@NoInline()
+testIsReturnA(var f) => f is ReturnA;
+
+@NoInline()
+testAsReturnA(var f) => f as ReturnA;
+
+@NoInline()
+testReturnNull(ReturnNull f) {}
+
+@NoInline()
+testIsReturnNull(var f) => f is ReturnNull;
+
+@NoInline()
+testAsReturnNull(var f) => f as ReturnNull;
+
+Null returnNullFunc() => null;
+takeNullFunc(Null n) {}
+A returnAFunc() => null;
+takeAFunc(A a) {}
+
+main() {
+  var n = null;
+  var listNull = new List<Null>();
+  var a = new A();
+  var listA = new List<A>();
+
+  testA(null);                                                       /// 01: ok
+  testA(a);                                                          /// 02: ok
+  testListA(listNull);                                               /// 03: ok
+  testListA(listA);                                                  /// 04: ok
+  Expect.isTrue(testIsListA(listNull));                              /// 05: ok
+  Expect.isTrue(testIsListA(listA));                                 /// 06: ok
+  testAsListA(listNull);                                             /// 07: ok
+  testAsListA(listA);                                                /// 08: ok
+
+  testNull(n);                                                       /// 09: ok
+  testNull(a);                                       /// 10: dynamic type error
+  testListNull(listNull);                                            /// 11: ok
+  testListNull(listA);                               /// 12: dynamic type error
+  Expect.isTrue(testIsListNull(listNull));                           /// 13: ok
+  Expect.isFalse(testIsListNull(listA));                             /// 14: ok
+  testAsListNull(listNull);                                          /// 15: ok
+  Expect.throws(() => testAsListNull(listA), (e) => e is CastError); /// 16: ok
+
+  var returnNull = returnNullFunc;
+  var takeNull = takeNullFunc;
+  var returnA = returnAFunc;
+  var takeA = takeAFunc;
+
+  testReturnA(returnA);                                              /// 17: ok
+  testReturnA(returnNull);                                           /// 18: ok
+  testIsReturnA(returnA);                                            /// 19: ok

[floitsch, 2016/12/21 12:45:05]

Needs to be in Expect.isTrue/False.

Same for the other is-tests below.

[Johnni Winther, 2016/12/21 13:17:54]

Done.

+  testIsReturnA(returnNull);                                         /// 20: ok
+  testAsReturnA(returnA);                                            /// 21: ok
+  testAsReturnA(returnNull);                                         /// 22: ok
+
+  testReturnNull(returnA);                                           /// 23: ok
+  testReturnNull(returnNull);                                        /// 24: ok
+  testIsReturnNull(returnA);                                         /// 25: ok
+  testIsReturnNull(returnNull);                                      /// 26: ok
+  testAsReturnNull(returnA);                                         /// 27: ok
+  testAsReturnNull(returnNull);                                      /// 28: ok
+}