Issue 13906. It is still error when typedef references itself using type variable bounds.

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

Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
index dbfb4e36cf812f87f608f5dc57f5cc26047cb47c..f87234ba51ad03a9945636dc48b06029d10097a1 100644
--- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
+++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/error/CompileTimeErrorCode.java
@@ -1125,11 +1125,11 @@ public enum CompileTimeErrorCode implements ErrorCode {
   TYPE_ARGUMENT_NOT_MATCHING_BOUNDS("'%s' does not extend '%s'"),
 
   /**
-   * 15.3.1 Typedef: It is a compile-time error if a typedef refers to itself via a chain of
-   * references that does not include a class declaration.
+   * 15.3.1 Typedef: Any self reference, either directly, or recursively via another typedef, is a
+   * compile time error..

[Brian Wilkerson, 2013/10/22 16:59:23]

nit: extra period

    */
   TYPE_ALIAS_CANNOT_REFERENCE_ITSELF(
-      "Type alias can reference itself only via the bounds of its generic parameters"),
+      "Type alias cannot reference itself directly or or recursively via another typedef"),

[Brian Wilkerson, 2013/10/22 16:59:23]

"or or" --> "or"

 
   /**
    * 12.11.2 Const: It is a compile-time error if <i>T</i> is not a class accessible in the current