Implement latest rules prohibiting some self referencing typedefs.

tests/language/language.status

 # 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.
 
 # This directory contains tests that are intended to show the
 # current state of the language.
 
 # In order to maintain maximum test coverage for all builds,
 # please use the following procedure to mark a test
 # failed on architectures other than the one you are working on.
@@ skipping 71 matching lines @@
 const_constructor_syntax_test/05: Fail
 const_counter_negative_test: Fail    # issue 1655
 constructor3_negative_test: Fail
 constructor_call_wrong_argument_count_negative_test: Fail
 default_factory_library_test: Fail          # Issue 514
 disable_privacy_test: Skip  # Issue 1882: Needs --disable_privacy support.
 duplicate_implements_test: Skip # Issue 976
 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
 instance_call_wrong_argument_count_negative_test: Fail
 instanceof3_test: Fail # Issue 2571
 label2_negative_test: Fail    # issue 1658
 library4_negative_test: Fail   # Bug 5406175
 list_literal4_test: Fail       # Issue 1343
 literal_unary_plus_test/01: Fail # Issue 1399
 map_literal4_test: Fail        # Issue 1343
@@ skipping 166 matching lines @@
 field3_negative_test: Fail  # Issue 729
 final_param_negative_test: Fail
 for2_test: Fail
 function_syntax_test: Fail
 function_test: Fail
 function_malformed_result_type_test: Fail
 function_type_alias_test: Fail
 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
 generic_instanceof_test: Fail
 generic_instanceof2_test: Fail
 generic_syntax_test: Fail
 generic_test: Fail
 generics_test: Fail
 getter_closure_execution_order_test: Pass # TODO(jmesserly): I don't think this is really passing in the static case
 implicit_scope_test: Fail
@@ skipping 195 matching lines @@
 constructor6_test: Fail # Closures inside initializers not implemented.
 default_factory_library_test: Fail # lib is not a type
 dynamic_test: Fail # cannot resolve type F1
 factory3_test: Fail # internal error: visitIs for type variables not implemented
 function_literals2_test: Fail # Closures inside initializers not implemented.
 function_syntax_test: Fail # Closures inside initializers not implemented.
 function_test: Fail # internal error: Closures inside initializers not implemented
 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
 generic_instanceof_test: Fail # cannot resolve type T
 generic_instanceof2_test: Fail # fails an instance of test at run time
 generic_instanceof3_test: Fail # cannot handle generics.
 generic_test: Fail # cannot resolve type T
 get_set_syntax_test/none: Fail # Parsing of pseudo keywords.
 getters_setters_test: Fail # Internal Error: SsaBuilder.visitIdentifier on non-this
 implicit_scope_test: Fail # duplicate definition of a="bar"
@@ skipping 163 matching lines @@
 
 list_test: Fail, OK # Obsolete test uses List.copyFrom that was removed on 2011-10-31.
 
 final_syntax_test/none: Fail, OK # Uses deprecated "StrConstant + StrConstant".
 
 [ $compiler == dart2js && $mode == release ]
 assign_top_method_negative_test: Crash
 
 [ $compiler == dart2js && $runtime == none ]
 *: Fail, Pass # TODO(ahe): Triage these tests.