Support type promotion in dart2js.

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 ]
 # Runtime negative test. No static errors or warnings.
 closure_call_wrong_argument_count_negative_test: skip
 
 # TBD: using built-in identifers
 built_in_identifier_prefix_test: fail # Issue 12694
@@ skipping 167 matching lines @@
 # test issue 14079
 malformed_test/none: fail # test issue 14079, legit warnings for malformed type
 malformed_test/05: fail # test issue 14079, it is not error, but warning to instantiate malformed type
 malformed_test/06: fail # test issue 14079, it is not error, but warning to use malformed type in "try-on" clause
 
 #
 # Please don't add new items here.
 # This is section for invalid tests.
 #
 
+type_promotion_closure_test/none: Fail # Issue 13807
+type_promotion_functions_test/none: Fail # Issue 13807
+type_promotion_local_test/none: Fail # Issue 13807
+type_promotion_logical_and_test/none: Fail # Issue 13807
+type_promotion_multiple_test/none: Fail # Issue 13807
+type_promotion_parameter_test/none: Fail # Issue 13807
+
 [ $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