Implement type variable 'more specific than' and 'subtype'.

editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java
index c818d36a15986bc96ce714245baa05dc2b430698..962ca13983d9cec661a7d890c42cc66a044c3204 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/StaticTypeWarningCode.java
@@ -176,6 +176,13 @@ public enum StaticTypeWarningCode implements ErrorCode {
   TYPE_ARGUMENT_NOT_MATCHING_BOUNDS("'%s' does not extend '%s'"),
 
   /**
+   * 10 Generics: It is a static type warning if a type parameter is a supertype of its upper bound.
+   * 
+   * @param typeParameterName the name of the type parameter
+   */
+  TYPE_PARAMETER_SUPERTYPE_OF_ITS_BOUND("'%s' cannot be a supertype of its upper bound"),

[jwren, 2013/10/10 17:34:57]

This code and part of the spec are already covered by
STWC.TYPE_ARGUMENT_NOT_MATCHING_BOUNDS.  If the goal was to split this case off
of the other code, then the logic which generates it should also be converted to
use the new code. Also, if you do keep this one, do reference the other in the
javadoc to make navigating the error codes easier.

[scheglov, 2013/10/10 22:24:23]

I've added @see references.
However "is a supertype of its upper bound" never reported before, so I'm not
sure what to convert.

+
+  /**
    * 12.17 Getter Invocation: Let <i>T</i> be the static type of <i>e</i>. It is a static type
    * warning if <i>T</i> does not have a getter named <i>m</i>.
    *