Deferred loading track type-dependencies for is, as and type-annotations.

tests/language/deferred_type_dependency_test.dart

Index: tests/language/deferred_type_dependency_test.dart
diff --git a/tests/language/deferred_type_dependency_test.dart b/tests/language/deferred_type_dependency_test.dart
new file mode 100644
index 0000000000000000000000000000000000000000..c8efcd54a623028999a9f6331335b70730e7e9ce
--- /dev/null
+++ b/tests/language/deferred_type_dependency_test.dart
@@ -0,0 +1,34 @@
+// Copyright (c) 2015, the Dart Team. All rights reserved. Use of this
+// source code is governed by a BSD-style license that can be found in
+// the LICENSE file.
+
+/// Checks that lib1.fooX's dependencies on [A] via is-checks, as-expressions
+/// and type-annotations(in checked-mode) is correctly tracked.
+
+import "deferred_type_dependency_lib1.dart" deferred as lib1;
+import "deferred_type_dependency_lib2.dart" deferred as lib2;
+import "package:expect/expect.dart";
+
+class A {
+  var p = true;
+}
+
+main() async {
+  await lib1.loadLibrary();
+  // Split the cases into a multi-test to test each feature separately.
+  Expect.isFalse(
+      lib1.fooIs /// is: ok
+      lib1.fooAs /// as: ok
+      lib1.fooAnnotation /// type_annotation: ok
+      ("string")
+      is! String /// none: ok
+  );
+  await lib2.loadLibrary();
+  Expect.isTrue(
+      lib1.fooIs /// is: ok
+      lib1.fooAs /// as: ok
+      lib1.fooAnnotation /// type_annotation: ok
+      (lib2.getInstance())
+      is! String /// none: ok
+  );
+}