Improve REDIRECT_TO_INVALID_RETURN_TYPE check.

tests/language/language_analyzer.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.
 
 [ $compiler == dartanalyzer ]
 switch_bad_case_test/02: Fail # missing error in double in switch case expr
 
 # Runtime negative test. No static errors or warnings.
 closure_call_wrong_argument_count_negative_test: skip
 
@@ skipping 36 matching lines @@
 # TBF: prefix T hidden by type variable T in 'new T.Class()'
 prefix10_negative_test: fail
 
 # TBF: no error if A in our library, B extends A in other library, reference B._private from Test extends B in our library.
 private_member1_negative_test: fail
 private_member2_negative_test: fail
 private_member3_negative_test: fail
 
 built_in_identifier_test/none: Fail # Issue 13023
 
+# TBF: I think _this_ test is incorrect, but we DO have problem bug with type variable subtype check
+redirecting_factory_malbounded_test/01: fail
+
 # test issue 10683, It is a compile-time error if e refers to the name v or the name v=.
 block_scope_test: fail
 lazy_static3_test: fail
 
+# test issue 11124, It is warning, not error to don't initialize final field
 field3a_negative_test: Fail # Issue 11124
 final_syntax_test/01: Fail # Issue 11124
 final_syntax_test/04: Fail # Issue 11124
 final_syntax_test/02: Fail # Issue 11124
 final_syntax_test/03: Fail # Issue 11124
 
 # Test issue 11545, using not existing constructor name in annotation
 metadata_test: fail
 
 # test issue 11575, classes with abstrac members are not marked as abstract
 abstract_factory_constructor_test/none: fail # Issue 11575
 get_set_syntax_test/none: fail # Issue 11575
 implicit_this_test/none: fail # Issue 11575
 interface_test/none: fail # Issue 11575
 syntax_test/none: fail # Issue 11575
 
 # test issue 11576
 bad_constructor_test/none: fail # Issue 11576
 
 # test issue 11577, has return type for []=
 cascade_test/none: fail # Issue 11577
 
 # test issue 11578, redirecting factory with not subtype
 factory5_test/none: fail # Issue 11578
-factory_redirection_test/none: fail # Issue 11578
 type_variable_bounds_test/none: fail # Issue 11578
 type_variable_scope_test/none: fail # Issue 11578
 factory_implementation_test/none: fail # Issue 11578
 
-redirecting_factory_malbounded_test/none: Fail # Issue 12827
-
 # test issue 11579, assignment, no setter
 getter_no_setter_test/none: fail
 
 # test issue 11581, it is not warning to call dynamic
 call_through_getter_test: fail
 
 # test issue 11584, positional arguments cannot be used for named parameters
 compile_time_constant_e_test: fail
 
 # test issue 11585, static warning, not negative test
@@ skipping 77 matching lines @@
 
 # test issue 12541; there shouldn't be a static warning
 static_field_test/01: fail # Issue 12541
 static_field_test/02: fail # Issue 12541
 static_field_test/03: fail # Issue 12541
 static_field_test/04: fail # Issue 12541
 
 # test issue 13787; duplicate exports of the same declaration is not handled
 duplicate_export_test: fail # Issue 13787
 
+# test issue 13916, Looks as no warning should be in this redirecting factory
+redirecting_factory_infinite_steps_test/01: fail
+
 [ $compiler == dartanalyzer && $checked ]
 factory1_test/00: fail
 factory1_test/01: fail
 field_type_check2_test/01: fail
 factory_implementation_test/00: fail
 factory_redirection_test/08: fail
 factory_redirection_test/09: fail
 factory_redirection_test/10: fail
 factory_redirection_test/11: fail
 factory_redirection_test/12: fail
 factory_redirection_test/13: fail
 factory_redirection_test/14: fail
 getters_setters2_test/03: fail
 type_variable_bounds3_test/00: fail
 type_variable_bounds2_test/05: fail