Implement latest rules prohibiting some self referencing typedefs.

tests/language/language.status

Index: tests/language/language.status
===================================================================
--- tests/language/language.status	(revision 7523)
+++ tests/language/language.status	(working copy)
@@ -89,6 +89,9 @@
 field3a_negative_test: Fail
 field_method4_negative_test: Fail
 final_syntax_test/*: Skip  # can't handle base case
+function_type_alias5_test/00: Fail # Legally self referencing typedef
+function_type_alias5_test/01: Fail # Legally self referencing typedef
+function_type_alias5_test/02: Fail # Legally self referencing typedef
 function_type_alias_negative_test: Fail  # Bug 5231617.
 generic_parameterized_extends_test: Skip  # Bug 5392297
 getters_setters_type3_test: Fail # Issue 2351
@@ -275,8 +278,10 @@
 function_type_alias2_test: Fail
 function_type_alias3_test: Fail
 function_type_alias4_test: Fail
+function_type_alias5_test/00: Fail
+function_type_alias5_test/01: Fail
+function_type_alias5_test/02: Fail
 function_type_alias6_test: Fail
-function_type_alias7_test: Fail
 function_type_parameter2_test: Fail
 function_type_parameter_test: Fail
 generic_deep_test: Fail
@@ -492,8 +497,10 @@
 function_type_alias2_test: Fail # cannot resolve type f1
 function_type_alias3_test: Fail # cannot resolve type F
 function_type_alias4_test: Fail # cannot resolve type F
+function_type_alias5_test/00: Fail # visitIs for typedefs not implemented
+function_type_alias5_test/01: Fail # visitIs for typedefs not implemented
+function_type_alias5_test/02: Fail # visitIs for typedefs not implemented
 function_type_alias6_test: Fail # visitIs for typedefs not implemented
-function_type_alias7_test: Fail # visitIs for typedefs not implemented
 function_type_alias_test: Fail # cannot resolve type Fun
 function_type_parameter2_test: Fail # Internal Error: expected optional parameters
 function_type_parameter_test: Fail # Internal Error: expected optional parameters