Resolve typedefs.

lib/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.
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
   static final GENERIC = const MessageKind('#{1}');
 
   static final NOT_ASSIGNABLE = const MessageKind(
       '#{2} is not assignable to #{1}');
   static final VOID_EXPRESSION = const MessageKind(
       'expression does not yield a value');
   static final VOID_VARIABLE = const MessageKind(
       'variable cannot be of type void');
   static final RETURN_VALUE_IN_VOID = const MessageKind(
       'cannot return value from void function');
   static final RETURN_NOTHING = const MessageKind(
       'value of type #{1} expected');
   static final MISSING_ARGUMENT = const MessageKind(
       'missing argument of type #{1}');
   static final ADDITIONAL_ARGUMENT = const MessageKind(
       'additional argument');
+  static final PROPERTY_NOT_FOUND = const MessageKind(
+      'no property named #{2} in class #{1}');
   static final METHOD_NOT_FOUND = const MessageKind(
       'no method named #{2} in class #{1}');
   static final MEMBER_NOT_STATIC = const MessageKind(
       '#{1}.#{2} is not static');
   static final NO_INSTANCE_AVAILABLE = const MessageKind(
       '#{1} is only available in instance methods');
 
   static final UNREACHABLE_CODE = const MessageKind(
       'unreachable code');
   static final MISSING_RETURN = const MessageKind(
@@ skipping 80 matching lines @@
   static final EXISTING_LABEL = const MessageKind(
       'original declaration of duplicate label #{1}');
   static final DUPLICATE_LABEL = const MessageKind(
       'duplicate declaration of label #{1}');
   static final UNUSED_LABEL = const MessageKind(
       'unused label #{1}');
   static final INVALID_CONTINUE = const MessageKind(
       'target of continue is not a loop or switch case');
   static final TYPE_VARIABLE_AS_CONSTRUCTOR = const MessageKind(
       'cannot use type variable as constructor');
+  static final DUPLICATE_TYPE_VARIABLE_NAME = const MessageKind(
+      'type variable #{1} already declared');
   static final INVALID_BREAK = const MessageKind(
       'target of break is not a statement');
   static final INVALID_USE_OF_SUPER = const MessageKind(
       'super not allowed here');
   static final INVALID_CASE_DEFAULT = const MessageKind(
       'default only allowed on last case of a switch');
   static final INVALID_CASE_EXPRESSION = const MessageKind(
       'case expression is not a compile-time constant int or string.');
   static final INVALID_CASE_EXPRESSION_TYPE = const MessageKind(
       "case expressions don't all have the same type "
@@ skipping 10 matching lines @@
       'map-literal key not a string literal');
 
   static final NO_SUCH_LIBRARY_MEMBER = const MessageKind(
       '#{1} has no member named #{2}');
 
   static final CANNOT_INSTANTIATE_INTERFACE = const MessageKind(
       "cannot instantiate interface '#{1}'");
 
   static final CANNOT_INSTANTIATE_TYPEDEF = const MessageKind(
       "cannot instantiate typedef '#{1}'");
+  static final CYCLIC_TYPEDEF = const MessageKind(
+      "the typedef #{1} may not refer to itself");
 
   static final NO_DEFAULT_CLASS = const MessageKind(
       "no default class on enclosing interface '#{1}'");
 
   static final CYCLIC_TYPE_VARIABLE = const MessageKind(
       "cyclic reference to type variable #{1}");
   static final TYPE_NAME_EXPECTED = const MessageKind(
       "class or interface name expected");
 
   static final CANNOT_EXTEND = const MessageKind(
@@ skipping 136 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, List<Type> arguments)
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, List<Type> arguments)
     : super(kind, arguments);
 }