MalformedType used for all invalid type annotations.

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

Index: sdk/lib/_internal/compiler/implementation/warnings.dart
diff --git a/sdk/lib/_internal/compiler/implementation/warnings.dart b/sdk/lib/_internal/compiler/implementation/warnings.dart
index 536f5fcad9eb8f133d716c8b1d7a5f0015c1d423..3d080e06abd47dfa086f6a273313c3fe75c46f08 100644
--- a/sdk/lib/_internal/compiler/implementation/warnings.dart
+++ b/sdk/lib/_internal/compiler/implementation/warnings.dart
@@ -205,6 +205,9 @@ class MessageKind {
   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");