Constrain type annotations with deferred types.

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

 // Copyright (c) 2011, 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.
 
 part of dart2js;
 
 const DONT_KNOW_HOW_TO_FIX = "";
 
 /**
  * The messages in this file should meet the following guide lines:
@@ skipping 1138 matching lines @@
       "Did you forget a factory keyword here?");
 
   static const MessageKind DEFERRED_LIBRARY_NOT_FROM_MAIN =
       const MessageKind(
           "DeferredLibrary used as an annotation here, "
           "but not used in the main library. Will not split the output.",
           howToFix:
             "Try adding a '@DeferredLibrary(...)' annotation in the main "
             "library");
 
+  static const MessageKind DEFERRED_LIBRARY_DART_2_DART =
+      const MessageKind(
+          "Deferred loading is not supported by the dart backend yet. "
+          "Will not split the output.");
+
   static const MessageKind DEFERRED_LIBRARY_WITHOUT_PREFIX =
       const MessageKind(
           "This import is deferred but there is no prefix keyword.",
           howToFix:
             "Try adding a prefix to the import.");
 
   static const MessageKind DEFERRED_LIBRARY_DUPLICATE_PREFIX =
       const MessageKind(
           "The prefix of this deferred import is not unique.",
           howToFix:
             "Try changing the import prefix.");
 
+  static const MessageKind DEFERRED_TYPE_ANNOTATION =
+      const MessageKind(
+          "The type #{node} is deferred. "
+          "Deferred types are not valid as type annotations.",
+          howToFix:
+            "Try using a non-deferred abstract class as an interface.");
+
   static const MessageKind ILLEGAL_STATIC = const MessageKind(
       "Modifier static is only allowed on functions declared in "
       "a class.");
 
   static const MessageKind STATIC_FUNCTION_BLOAT = const MessageKind(
       "Using '#{class}.#{name}' may lead to unnecessarily large "
       "generated code.",
       howToFix:
           "Try adding '@MirrorsUsed(...)' as described at "
           "https://goo.gl/Akrrog.");
@@ skipping 709 matching lines @@
     return computeMessage();
   }
 
   bool operator==(other) {
     if (other is !Message) return false;
     return (kind == other.kind) && (toString() == other.toString());
   }
 
   int get hashCode => throw new UnsupportedError('Message.hashCode');
 }