Merge the work on Generic Types Reification from 'dart-lang/reify' repo

pkg/kernel/testcases/reify/simple_test.dart

Index: pkg/kernel/testcases/reify/simple_test.dart
diff --git a/pkg/kernel/testcases/reify/simple_test.dart b/pkg/kernel/testcases/reify/simple_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..4a2d11fbe0cbd25e9a519cea8b2250afa1a036d9
--- /dev/null
+++ b/pkg/kernel/testcases/reify/simple_test.dart
@@ -0,0 +1,69 @@
+// 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.
+
+library simple_test;
+
+import 'test_base.dart';
+
+class C {}
+
+class A implements C {}
+
+class B extends C {}
+
+class D extends B {}
+
+testIs(o) {
+  write(o is A);
+  write(o is B);
+  write(o is C);
+  write(o is D);
+}
+
+testIsNot(o) {
+  write(o is! A);
+  write(o is! B);
+  write(o is! C);
+  write(o is! D);
+}
+
+main() {
+  var objects = [new A(), new B(), new C(), new D()];
+  objects.forEach(testIs);
+  objects.forEach(testIsNot);
+
+  expectOutput("""
+true
+false
+true
+false
+false
+true
+true
+false
+false
+false
+true
+false
+false
+true
+true
+true
+false
+true
+false
+true
+true
+false
+false
+true
+true
+true
+false
+true
+true
+false
+false
+false""");
+}