Implement latest rules prohibiting some self referencing typedefs.

tests/language/function_type_alias6_test.dart

Index: tests/language/function_type_alias6_test.dart
===================================================================
--- tests/language/function_type_alias6_test.dart	(revision 7523)
+++ tests/language/function_type_alias6_test.dart	(working copy)
@@ -1,11 +1,23 @@
 // Copyright (c) 2012, 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.
-// Dart test for self referencing function type alias.
+// Dart test for legally self referencing function type alias.
 
-typedef F(F x);
+typedef F(List<F> x);
 
+typedef D C();
+
+class D {
+  C foo() { }
+  D bar() { }
+}
+
 main() {
-  var func = _(F x) { };
-  Expect.isTrue(func is F);
+  var f = _(List x) { };
+  Expect.isTrue(f is F);
+  var g = _(List<F> x) { };
+  Expect.isTrue(g is F);
+  var d = new D();
+  Expect.isTrue(d.foo is !C);
+  Expect.isTrue(d.bar is C);
 }