Constrain type annotations with deferred types.

sdk/lib/_internal/compiler/implementation/elements/elements.dart

Index: sdk/lib/_internal/compiler/implementation/elements/elements.dart
diff --git a/sdk/lib/_internal/compiler/implementation/elements/elements.dart b/sdk/lib/_internal/compiler/implementation/elements/elements.dart
index 902ca67c3183ebbaa8f82c2b5f5d18beaf7dfc39..f14ce2b25c95d7786e218a3053aa0a5d924750f2 100644
--- a/sdk/lib/_internal/compiler/implementation/elements/elements.dart
+++ b/sdk/lib/_internal/compiler/implementation/elements/elements.dart
@@ -733,6 +733,9 @@ abstract class LibraryElement extends Element implements ScopeContainerElement {
 abstract class PrefixElement extends Element {
   void addImport(Element element, Import import, DiagnosticListener listener);
   Element lookupLocalMember(String memberName);
+  // Is true if this prefix belongs to a deferred import.

[floitsch, 2014/03/03 14:18:06]

Might as well make it a Dart comment. "///".

[sigurdm, 2014/03/04 12:36:19]

Done.

+  bool get isDeferred;
+  void markAsDeferred();
 }
 
 abstract class TypedefElement extends Element