MalformedType used for all invalid type annotations.

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;
 
 class MessageKind {
   final String template;
   const MessageKind(this.template);
 
@@ skipping 187 matching lines @@
 
   static const ILLEGAL_SUPER_SEND = const MessageKind(
       "#{1} cannot be called on super");
 
   static const ADDITIONAL_TYPE_ARGUMENT = const MessageKind(
       "additional type argument");
 
   static const MISSING_TYPE_ARGUMENT = const MessageKind(
       "missing type argument");
 
+  static const TYPE_ARGUMENT_COUNT_MISMATCH = const MessageKind(
+      "incorrect number of type arguments on #{1}");

[ahe, 2012/12/03 12:32:01]

Eventually, I'd like to split this into two messages:

"extra type argument" and "too few type arguments".

Consider Foo<T>.  If Foo takes two arguments, the position would be the NodeList
<T>.  If Foo takes no arguments, the position would be T.

[Johnni Winther, 2012/12/04 10:07:17]

Added a TODO.

+
   static const MISSING_ARGUMENTS_TO_ASSERT = const MessageKind(
       "missing arguments to assert");
 
   static const GETTER_MISMATCH = const MessageKind(
       "Error: setter disagrees on: #{1}.");
 
   static const SETTER_MISMATCH = const MessageKind(
       "Error: getter disagrees on: #{1}.");
 
   static const NO_STATIC_OVERRIDE = const MessageKind(
@@ skipping 201 matching lines @@
 
 class CompileTimeConstantError extends Diagnostic {
   CompileTimeConstantError(MessageKind kind, List arguments)
     : super(kind, arguments);
 }
 
 class CompilationError extends Diagnostic {
   CompilationError(MessageKind kind, List arguments)
     : super(kind, arguments);
 }