| OLD | NEW |
| 1 # Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file | 1 # Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file |
| 2 # for details. All rights reserved. Use of this source code is governed by a | 2 # for details. All rights reserved. Use of this source code is governed by a |
| 3 # BSD-style license that can be found in the LICENSE.md file. | 3 # BSD-style license that can be found in the LICENSE.md file. |
| 4 | 4 |
| 5 # Status file for the strong_test.dart test suite. This is testing generating | 5 # Status file for the strong_test.dart test suite. This is testing generating |
| 6 # Kernel ASTs directly, that is, code in pkg/fasta/lib/src/kernel/ with | 6 # Kernel ASTs directly, that is, code in pkg/fasta/lib/src/kernel/ with |
| 7 # strong-mode enabled. | 7 # strong-mode enabled. |
| 8 | 8 |
| 9 DeltaBlue: Fail | 9 DeltaBlue: Fail |
| 10 accessors: Fail | 10 accessors: Fail |
| (...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 49 store_load: Fail | 49 store_load: Fail |
| 50 stringliteral: Fail | 50 stringliteral: Fail |
| 51 super_rasta_copy: Fail | 51 super_rasta_copy: Fail |
| 52 top_level_accessors: Fail | 52 top_level_accessors: Fail |
| 53 type_variable_as_super: Fail | 53 type_variable_as_super: Fail |
| 54 typedef: Fail | 54 typedef: Fail |
| 55 uninitialized_fields: Fail | 55 uninitialized_fields: Fail |
| 56 unused_methods: Fail | 56 unused_methods: Fail |
| 57 void-methods: Fail | 57 void-methods: Fail |
| 58 | 58 |
| 59 inference/async_closure_return_type_flatten: Fail |
| 60 inference/async_closure_return_type_future: Fail |
| 61 inference/async_closure_return_type_future_or: Fail |
| 62 inference/block_bodied_lambdas_async_all_returns_are_futures: Fail |
| 63 inference/block_bodied_lambdas_async_all_returns_are_values: Fail |
| 64 inference/block_bodied_lambdas_async_mix_of_values_and_futures: Fail |
| 65 inference/block_bodied_lambdas_async_star: Fail |
| 66 inference/block_bodied_lambdas_basic: Fail |
| 67 inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference: Fa
il |
| 68 inference/block_bodied_lambdas_downwards_incompatible_with_upwards_inference_top
_level: Fail |
| 69 inference/block_bodied_lambdas_infer_bottom_async: Fail |
| 70 inference/block_bodied_lambdas_infer_bottom_async_star: Fail |
| 71 inference/block_bodied_lambdas_infer_bottom_sync: Fail |
| 72 inference/block_bodied_lambdas_infer_bottom_sync_star: Fail |
| 73 inference/block_bodied_lambdas_lub: Fail |
| 74 inference/block_bodied_lambdas_nested_lambdas: Fail |
| 75 inference/block_bodied_lambdas_no_return: Fail |
| 76 inference/block_bodied_lambdas_sync_star: Fail |
| 77 inference/bottom_in_closure: Fail |
| 78 inference/circular_reference_via_closures: Fail |
| 79 inference/bottom: Fail |
| 80 inference/circular_reference_via_closures_initializer_types: Fail |
| 81 inference/conflicts_can_happen: Fail |
| 82 inference/constructors_downwards_with_constraint: Fail |
| 83 inference/constructors_infer_from_arguments: Fail |
| 84 inference/conflicts_can_happen2: Fail |
| 85 inference/constructors_infer_from_arguments_argument_not_assignable: Fail |
| 86 inference/constructors_infer_from_arguments_const: Fail |
| 87 inference/constructors_infer_from_arguments_const_with_upper_bound: Fail |
| 88 inference/constructors_infer_from_arguments_downwards_from_constructor: Fail |
| 89 inference/constructors_infer_from_arguments_factory: Fail |
| 90 inference/constructors_infer_from_arguments_factory_calls_constructor: Fail |
| 91 inference/constructors_infer_from_arguments_named: Fail |
| 92 inference/constructors_infer_from_arguments_named_factory: Fail |
| 93 inference/constructors_infer_from_arguments_redirecting: Fail |
| 94 inference/constructors_infer_from_arguments_redirecting_factory: Fail |
| 95 inference/constructors_inference_f_bounded: Fail |
| 96 inference/constructors_reverse_type_parameters: Fail |
| 97 inference/constructors_too_many_positional_arguments: Fail |
| 98 inference/do_not_infer_overridden_fields_that_explicitly_say_dynamic_infer: Fail |
| 99 inference/dont_infer_field_type_when_initializer_is_null: Fail |
| 100 inference/dont_infer_type_on_dynamic: Fail |
| 101 inference/downward_inference_fixes_no_upwards_errors: Fail |
| 102 inference/downward_inference_miscellaneous: Fail |
| 103 inference/dont_infer_type_when_initializer_is_null: Fail |
| 104 inference/downwards_inference_annotations: Fail |
| 105 inference/downwards_inference_assignment_statements: Fail |
| 106 inference/downwards_inference_async_await: Fail |
| 107 inference/downwards_inference_for_each: Fail |
| 108 inference/downwards_inference_initializing_formal_default_formal: Fail |
| 109 inference/downwards_inference_inside_top_level: Fail |
| 110 inference/downwards_inference_on_constructor_arguments_infer_downwards: Fail |
| 111 inference/downwards_inference_on_function_arguments_infer_downwards: Fail |
| 112 inference/downwards_inference_on_function_expressions: Fail |
| 113 inference/downwards_inference_on_function_of_t_using_the_t: Fail |
| 114 inference/downwards_inference_on_generic_constructor_arguments_empty_list: Fail |
| 115 inference/downwards_inference_on_generic_constructor_arguments_infer_downwards:
Fail |
| 116 inference/downwards_inference_on_generic_function_expressions: Fail |
| 117 inference/downwards_inference_on_instance_creations_infer_downwards: Fail |
| 118 inference/downwards_inference_on_list_literals_infer_downwards: Fail |
| 119 inference/downwards_inference_on_list_literals_infer_if_value_types_match_contex
t: Fail |
| 120 inference/downwards_inference_on_map_literals: Fail |
| 121 inference/downwards_inference_yield_yield_star: Fail |
| 122 inference/field_refers_to_static_getter: Fail |
| 123 inference/future_or_subtyping: Fail |
| 124 inference/future_then: Fail |
| 125 inference/field_refers_to_top_level_getter: Fail |
| 126 inference/future_then_2: Fail |
| 127 inference/future_then_3: Fail |
| 128 inference/future_then_4: Fail |
| 129 inference/future_then_5: Fail |
| 130 inference/future_then_6: Fail |
| 131 inference/future_then_conditional: Fail |
| 132 inference/future_then_conditional_2: Fail |
| 133 inference/future_then_conditional_3: Fail |
| 134 inference/future_then_conditional_4: Fail |
| 135 inference/future_then_conditional_5: Fail |
| 136 inference/future_then_conditional_6: Fail |
| 137 inference/future_then_conditional_deprecated: Fail |
| 138 inference/future_then_conditional_deprecated_2: Fail |
| 139 inference/future_then_conditional_deprecated_3: Fail |
| 140 inference/future_then_conditional_deprecated_4: Fail |
| 141 inference/future_then_deprecated: Fail |
| 142 inference/future_then_deprecated_2: Fail |
| 143 inference/future_then_deprecated_3: Fail |
| 144 inference/future_then_deprecated_4: Fail |
| 145 inference/future_then_deprecated_5: Fail |
| 146 inference/future_then_deprecated_6: Fail |
| 147 inference/future_then_downwards_method_target: Fail |
| 148 inference/future_then_explicit_future: Fail |
| 149 inference/future_then_upwards: Fail |
| 150 inference/future_then_upwards_2: Fail |
| 151 inference/future_then_upwards_3: Fail |
| 152 inference/future_then_upwards_deprecated: Fail |
| 153 inference/future_then_upwards_deprecated_2: Fail |
| 154 inference/future_then_upwards_deprecated_3: Fail |
| 155 inference/future_then_upwards_from_block: Fail |
| 156 inference/future_union_async_conditional: Fail |
| 157 inference/future_union_async_conditional_2: Fail |
| 158 inference/future_union_async_conditional_deprecated: Fail |
| 159 inference/future_union_async_conditional_deprecated_2: Fail |
| 160 inference/future_union_downwards: Fail |
| 161 inference/future_union_downwards_2: Fail |
| 162 inference/future_union_downwards_3: Fail |
| 163 inference/future_union_downwards_4: Fail |
| 164 inference/future_union_downwards_deprecated: Fail |
| 165 inference/future_union_downwards_deprecated_2: Fail |
| 166 inference/future_union_downwards_deprecated_3: Fail |
| 167 inference/future_union_downwards_deprecated_4: Fail |
| 168 inference/future_union_downwards_generic_method_with_future_return: Fail |
| 169 inference/future_union_downwards_generic_method_with_generic_return: Fail |
| 170 inference/future_union_upwards_generic_methods: Fail |
| 171 inference/generic_functions_return_typedef: Fail |
| 172 inference/generic_methods_basic_downward_inference: Fail |
| 173 inference/generic_methods_correctly_recognize_generic_upper_bound: Fail |
| 174 inference/generic_methods_do_not_infer_invalid_override_of_generic_method: Fail |
| 175 inference/generic_methods_downwards_inference_affects_arguments: Fail |
| 176 inference/generic_methods_downwards_inference_fold: Fail |
| 177 inference/generic_methods_dart_math_min_max: Fail |
| 178 inference/generic_methods_handle_override_of_non_generic_with_generic: Fail |
| 179 inference/generic_methods_infer_generic_function_parameter_type: Fail |
| 180 inference/generic_methods_infer_generic_function_parameter_type2: Fail |
| 181 inference/generic_methods_infer_generic_function_return_type: Fail |
| 182 inference/generic_methods_infer_generic_instantiation: Fail |
| 183 inference/generic_methods_infer_generic_method_type: Fail |
| 184 inference/generic_methods_infer_js_builtin: Fail |
| 185 inference/generic_methods_inference_error: Fail |
| 186 inference/generic_methods_iterable_and_future: Fail |
| 187 inference/generic_methods_nested_generic_instantiation: Fail |
| 188 inference/generic_methods_uses_greatest_lower_bound: Fail |
| 189 inference/infer_assign_to_index: Fail |
| 190 inference/infer_assign_to_property: Fail |
| 191 inference/infer_assign_to_property_custom: Fail |
| 192 inference/infer_binary_custom: Fail |
| 193 inference/infer_binary_double_double: Fail |
| 194 inference/infer_assign_to_ref: Fail |
| 195 inference/infer_binary_double_int: Fail |
| 196 inference/infer_binary_int_double: Fail |
| 197 inference/infer_binary_int_int: Fail |
| 198 inference/infer_conditional: Fail |
| 199 inference/infer_consts_transitively_2: Fail |
| 200 inference/infer_consts_transitively_2_a: Fail |
| 201 inference/infer_consts_transitively_2_b: Fail |
| 202 inference/infer_correctly_on_multiple_variables_declared_together: Fail |
| 203 inference/infer_from_complex_expressions_if_outer_most_value_is_precise: Fail |
| 204 inference/infer_consts_transitively_b: Fail |
| 205 inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields: Fail |
| 206 inference/infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields2: Fail |
| 207 inference/infer_from_variables_in_cycle_libs_when_flag_is_on: Fail |
| 208 inference/infer_from_variables_in_cycle_libs_when_flag_is_on2: Fail |
| 209 inference/infer_from_variables_in_cycle_libs_when_flag_is_on2_a: Fail |
| 210 inference/infer_from_variables_in_non_cycle_imports_with_flag: Fail |
| 211 inference/infer_from_variables_in_non_cycle_imports_with_flag2: Fail |
| 212 inference/infer_from_variables_in_cycle_libs_when_flag_is_on_a: Fail |
| 213 inference/infer_from_variables_in_non_cycle_imports_with_flag2_a: Fail |
| 214 inference/infer_generic_method_type_named: Fail |
| 215 inference/infer_from_variables_in_non_cycle_imports_with_flag_a: Fail |
| 216 inference/infer_generic_method_type_positional: Fail |
| 217 inference/infer_generic_method_type_positional2: Fail |
| 218 inference/infer_generic_method_type_required: Fail |
| 219 inference/infer_list_literal_nested_in_map_literal: Fail |
| 220 inference/infer_local_function_return_type: Fail |
| 221 inference/infer_parameter_type_setter_from_field: Fail |
| 222 inference/infer_prefix_expression: Fail |
| 223 inference/infer_prefix_expression_custom: Fail |
| 224 inference/infer_parameter_type_setter_from_setter: Fail |
| 225 inference/infer_return_of_statement_lambda: Fail |
| 226 inference/infer_statics_transitively: Fail |
| 227 inference/infer_statics_transitively3: Fail |
| 228 inference/infer_statics_transitively2: Fail |
| 229 inference/infer_statics_transitively3_a: Fail |
| 230 inference/infer_statics_transitively_a: Fail |
| 231 inference/infer_statics_transitively_2_a: Fail |
| 232 inference/infer_statics_transitively_b: Fail |
| 233 inference/infer_statics_with_method_invocations: Fail |
| 234 inference/infer_throw: Fail |
| 235 inference/infer_type_cast: Fail |
| 236 inference/infer_statics_with_method_invocations_a: Fail |
| 237 inference/infer_type_on_overridden_fields2: Fail |
| 238 inference/infer_type_on_overridden_fields4: Fail |
| 239 inference/infer_type_on_var: Fail |
| 240 inference/infer_type_on_var_from_field: Fail |
| 241 inference/infer_type_on_var2: Fail |
| 242 inference/infer_type_on_var_from_top_level: Fail |
| 243 inference/infer_type_regardless_of_declaration_order_or_cycles: Fail |
| 244 inference/infer_typed_list_literal: Fail |
| 245 inference/infer_typed_map_literal: Fail |
| 246 inference/infer_type_regardless_of_declaration_order_or_cycles_b: Fail |
| 247 inference/infer_types_on_generic_instantiations_3: Fail |
| 248 inference/infer_types_on_generic_instantiations_5: Fail |
| 249 inference/infer_types_on_generic_instantiations_4: Fail |
| 250 inference/infer_types_on_generic_instantiations_in_library_cycle: Fail |
| 251 inference/infer_types_on_generic_instantiations_in_library_cycle_a: Fail |
| 252 inference/infer_types_on_loop_indices_for_each_loop: Fail |
| 253 inference/infer_types_on_loop_indices_for_loop_with_inference: Fail |
| 254 inference/infer_types_on_generic_instantiations_infer: Fail |
| 255 inference/infer_variable_void: Fail |
| 256 inference/infer_use_of_void: Fail |
| 257 inference/inferred_nonstatic_field_depends_on_static_field_complex: Fail |
| 258 inference/inferred_nonstatic_field_depends_on_top_level_var_simple: Fail |
| 259 inference/inferred_initializing_formal_checks_default_value: Fail |
| 260 inference/inferred_type_block_closure_no_args_no_return: Fail |
| 261 inference/inferred_type_cascade: Fail |
| 262 inference/inferred_type_custom_binary_op: Fail |
| 263 inference/inferred_type_custom_binary_op_via_interface: Fail |
| 264 inference/inferred_type_custom_index_op: Fail |
| 265 inference/inferred_type_custom_index_op_via_interface: Fail |
| 266 inference/inferred_type_custom_unary_op: Fail |
| 267 inference/inferred_type_custom_unary_op_via_interface: Fail |
| 268 inference/inferred_type_extract_method_tear_off: Fail |
| 269 inference/inferred_type_extract_method_tear_off_via_interface: Fail |
| 270 inference/inferred_type_from_top_level_executable_tear_off: Fail |
| 271 inference/inferred_type_invoke_method: Fail |
| 272 inference/inferred_type_invoke_method_via_interface: Fail |
| 273 inference/inferred_type_is_enum: Fail |
| 274 inference/inferred_type_is_typedef: Fail |
| 275 inference/inferred_type_is_typedef_parameterized: Fail |
| 276 inference/inferred_type_is_enum_values: Fail |
| 277 inference/inferred_type_uses_synthetic_function_type: Fail |
| 278 inference/inferred_type_uses_synthetic_function_type_function_typed_param: Fail |
| 279 inference/inferred_type_uses_synthetic_function_type_named_param: Fail |
| 280 inference/inferred_type_uses_synthetic_function_type_positional_param: Fail |
| 281 inference/inferred_type_uses_synthetic_function_type_required_param: Fail |
| 282 inference/inferred_type_via_closure_multiple_levels_of_nesting: Fail |
| 283 inference/inferred_type_via_closure_type_depends_on_args: Fail |
| 284 inference/inferred_type_via_closure_type_independent_of_args_field: Fail |
| 285 inference/inferred_type_via_closure_type_independent_of_args_top_level: Fail |
| 286 inference/instantiate_to_bounds_generic2_has_bound_defined_after: Fail |
| 287 inference/instantiate_to_bounds_generic2_has_bound_defined_before: Fail |
| 288 inference/instantiate_to_bounds_generic2_no_bound: Fail |
| 289 inference/instantiate_to_bounds_generic_has_bound_defined_after: Fail |
| 290 inference/instantiate_to_bounds_invoke_constructor_no_bound: Fail |
| 291 inference/instantiate_to_bounds_invoke_constructor_type_args_exact: Fail |
| 292 inference/instantiate_to_bounds_generic_has_bound_defined_before: Fail |
| 293 inference/instantiate_to_bounds_not_generic: Fail |
| 294 inference/lambda_does_not_have_propagated_type_hint: Fail |
| 295 inference/list_literals: Fail |
| 296 inference/list_literals_can_infer_null_bottom: Fail |
| 297 inference/list_literals_can_infer_null_top_level: Fail |
| 298 inference/list_literals_top_level: Fail |
| 59 inference/local_constructor_from_arguments: Fail | 299 inference/local_constructor_from_arguments: Fail |
| 300 inference/map_literals: Fail |
| 301 inference/map_literals_can_infer_null: Fail |
| 302 inference/map_literals_can_infer_null_top_level: Fail |
| 303 inference/map_literals_top_level: Fail |
| 304 inference/method_call_with_type_arguments_instance_method: Fail |
| 305 inference/method_call_with_type_arguments_instance_method_identifier_sequence: F
ail |
| 306 inference/method_call_with_type_arguments_static_method: Fail |
| 307 inference/method_call_with_type_arguments_top_level_function: Fail |
| 308 inference/null_coalescing_operator: Fail |
| 309 inference/null_coalescing_operator_2: Fail |
| 310 inference/no_error_when_declared_type_is_num_and_assigned_null: Fail |
| 311 inference/null_literal_should_not_infer_as_bottom: Fail |
| 312 inference/propagate_inference_to_field_in_class: Fail |
| 313 inference/propagate_inference_to_field_in_class_dynamic_warnings: Fail |
| 314 inference/propagate_inference_transitively: Fail |
| 315 inference/propagate_inference_transitively2: Fail |
| 316 inference/reference_to_typedef: Fail |
| 317 inference/refine_binary_expression_type_type_parameter_t_double: Fail |
| 318 inference/refine_binary_expression_type_type_parameter_t_int: Fail |
| 319 inference/static_method_tear_off: Fail |
| 320 inference/refine_binary_expression_type_type_parameter_t_t: Fail |
| 60 inference/type_promotion_stopped_by_access_in_a_closure: Fail | 321 inference/type_promotion_stopped_by_access_in_a_closure: Fail |
| 61 inference/type_promotion_stopped_by_mutation_in_a_closure: Fail | 322 inference/type_promotion_stopped_by_mutation_in_a_closure: Fail |
| 323 inference/unsafe_block_closure_inference_closure_call: Fail |
| 324 inference/unsafe_block_closure_inference_constructor_call_explicit_dynamic_param
: Fail |
| 325 inference/unsafe_block_closure_inference_constructor_call_explicit_type_param: F
ail |
| 326 inference/unsafe_block_closure_inference_constructor_call_implicit_type_param: F
ail |
| 327 inference/unsafe_block_closure_inference_constructor_call_no_type_param: Fail |
| 328 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param: F
ail |
| 329 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param_vi
a_expr1: Fail |
| 330 inference/unsafe_block_closure_inference_function_call_explicit_dynamic_param_vi
a_expr2: Fail |
| 331 inference/unsafe_block_closure_inference_function_call_explicit_type_param: Fail |
| 332 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_e
xpr1: Fail |
| 333 inference/unsafe_block_closure_inference_function_call_explicit_type_param_via_e
xpr2: Fail |
| 334 inference/unsafe_block_closure_inference_function_call_implicit_type_param: Fail |
| 335 inference/unsafe_block_closure_inference_function_call_implicit_type_param_via_e
xpr: Fail |
| 336 inference/unsafe_block_closure_inference_function_call_no_type_param: Fail |
| 337 inference/unsafe_block_closure_inference_function_call_no_type_param_via_expr: F
ail |
| 338 inference/unsafe_block_closure_inference_in_list_dynamic: Fail |
| 339 inference/unsafe_block_closure_inference_in_list_typed: Fail |
| 340 inference/unsafe_block_closure_inference_in_list_untyped: Fail |
| 341 inference/unsafe_block_closure_inference_in_map_dynamic: Fail |
| 342 inference/unsafe_block_closure_inference_in_map_typed: Fail |
| 343 inference/unsafe_block_closure_inference_in_map_untyped: Fail |
| 344 inference/unsafe_block_closure_inference_method_call_explicit_dynamic_param: Fai
l |
| 345 inference/unsafe_block_closure_inference_method_call_explicit_type_param: Fail |
| 346 inference/unsafe_block_closure_inference_method_call_implicit_type_param: Fail |
| 347 inference/unsafe_block_closure_inference_method_call_no_type_param: Fail |
| 348 inference/void_return_type_subtypes_dynamic: Fail |
| 62 | 349 |
| 63 rasta/abstract_constructor: Fail | 350 rasta/abstract_constructor: Fail |
| 64 rasta/bad_constructor_redirection: Fail | 351 rasta/bad_constructor_redirection: Fail |
| 65 rasta/bad_continue: Fail | 352 rasta/bad_continue: Fail |
| 66 rasta/bad_default_constructor: Fail | 353 rasta/bad_default_constructor: Fail |
| 67 rasta/bad_explicit_super_constructor: Fail | 354 rasta/bad_explicit_super_constructor: Fail |
| 68 rasta/bad_implicit_super_constructor: Fail | 355 rasta/bad_implicit_super_constructor: Fail |
| 69 rasta/bad_interpolation: Fail | 356 rasta/bad_interpolation: Fail |
| 70 rasta/bad_redirection: Fail | 357 rasta/bad_redirection: Fail |
| 71 rasta/bad_setter_initializer: Fail | 358 rasta/bad_setter_initializer: Fail |
| (...skipping 67 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 139 rasta/this_invoke: Fail | 426 rasta/this_invoke: Fail |
| 140 rasta/try_label: Fail | 427 rasta/try_label: Fail |
| 141 rasta/type_literals: VerificationError | 428 rasta/type_literals: VerificationError |
| 142 rasta/type_with_parse_error: Fail | 429 rasta/type_with_parse_error: Fail |
| 143 rasta/typedef: VerificationError | 430 rasta/typedef: VerificationError |
| 144 rasta/unresolved: Fail | 431 rasta/unresolved: Fail |
| 145 rasta/unresolved_constructor: Fail | 432 rasta/unresolved_constructor: Fail |
| 146 rasta/unresolved_for_in: Fail | 433 rasta/unresolved_for_in: Fail |
| 147 rasta/unresolved_recovery: Fail | 434 rasta/unresolved_recovery: Fail |
| 148 rasta/unsupported_platform_library: Fail | 435 rasta/unsupported_platform_library: Fail |
| OLD | NEW |