Constrain type annotations with deferred types.

tests/compiler/dart2js/deferred_emit_type_checks_test.dart

Index: tests/compiler/dart2js/deferred_emit_type_checks_test.dart
diff --git a/tests/compiler/dart2js/deferred_emit_type_checks_test.dart b/tests/compiler/dart2js/deferred_emit_type_checks_test.dart
index 45955b56767061621a70b35e7058b70fb5c7f092..832d323c6b649d937152bdb84ac827b5796b9848 100644
--- a/tests/compiler/dart2js/deferred_emit_type_checks_test.dart
+++ b/tests/compiler/dart2js/deferred_emit_type_checks_test.dart
@@ -65,18 +65,20 @@ void main() {
 const Map MEMORY_SOURCE_FILES = const {"main.dart": """
 import "dart:async";
 
-@def import 'lib.dart' as lib show f, A;
+@def import 'lib.dart' as lib show f, A, instance;
 
 const def = const DeferredLibrary("deferred");
 
 void main() {
   def.load().then((_) {
-    print(lib.f(new lib.A<lib.A>()));
+    print(lib.f(lib.instance));
   });
 }
 """, "lib.dart": """
 class A<T> {}
 
+A<A> instance = new A<A>();
+
 bool f (Object o) {
   return o is A<A>;
 }