Google Git
Sign in
dart / sdk.git / 847ca4715c9e66700b6cc917ae1f69e0d816095e / . / pkg / front_end / testcases / inference
tree: 9666251ad458eb476629cc65a6c7b9c5bd876b01 [path history] [tgz]
  1. async_closure_return_type_flatten.dart
  2. async_closure_return_type_future.dart
  3. async_closure_return_type_future_or.dart
  4. block_bodied_lambdas_async_all_returns_are_futures.dart
  5. block_bodied_lambdas_async_all_returns_are_values.dart
  6. block_bodied_lambdas_async_mix_of_values_and_futures.dart
  7. block_bodied_lambdas_async_star.dart
  8. block_bodied_lambdas_basic.dart
  9. block_bodied_lambdas_downwards_incompatible_with_upwards_inference.dart
  10. block_bodied_lambdas_downwards_incompatible_with_upwards_inference_top_level.dart
  11. block_bodied_lambdas_infer_bottom_async.dart
  12. block_bodied_lambdas_infer_bottom_async_star.dart
  13. block_bodied_lambdas_infer_bottom_sync.dart
  14. block_bodied_lambdas_infer_bottom_sync_star.dart
  15. block_bodied_lambdas_lub.dart
  16. block_bodied_lambdas_nested_lambdas.dart
  17. block_bodied_lambdas_no_return.dart
  18. block_bodied_lambdas_sync_star.dart
  19. bottom.dart
  20. bottom_in_closure.dart
  21. circular_reference_via_closures.dart
  22. circular_reference_via_closures_initializer_types.dart
  23. conflicts_can_happen.dart
  24. conflicts_can_happen2.dart
  25. constructors_downwards_with_constraint.dart
  26. constructors_infer_from_arguments.dart
  27. constructors_infer_from_arguments_argument_not_assignable.dart
  28. constructors_infer_from_arguments_const.dart
  29. constructors_infer_from_arguments_const_with_upper_bound.dart
  30. constructors_infer_from_arguments_downwards_from_constructor.dart
  31. constructors_infer_from_arguments_factory.dart
  32. constructors_infer_from_arguments_factory_calls_constructor.dart
  33. constructors_infer_from_arguments_named.dart
  34. constructors_infer_from_arguments_named_factory.dart
  35. constructors_infer_from_arguments_redirecting.dart
  36. constructors_infer_from_arguments_redirecting_factory.dart
  37. constructors_inference_f_bounded.dart
  38. constructors_reverse_type_parameters.dart
  39. constructors_too_many_positional_arguments.dart
  40. do_not_infer_overridden_fields_that_explicitly_say_dynamic_infer.dart
  41. dont_infer_field_type_when_initializer_is_null.dart
  42. dont_infer_type_on_dynamic.dart
  43. dont_infer_type_when_initializer_is_null.dart
  44. downward_inference_fixes_no_upwards_errors.dart
  45. downward_inference_miscellaneous.dart
  46. downwards_inference_annotations.dart
  47. downwards_inference_assignment_statements.dart
  48. downwards_inference_async_await.dart
  49. downwards_inference_for_each.dart
  50. downwards_inference_initializing_formal_default_formal.dart
  51. downwards_inference_inside_top_level.dart
  52. downwards_inference_on_constructor_arguments_infer_downwards.dart
  53. downwards_inference_on_function_arguments_infer_downwards.dart
  54. downwards_inference_on_function_expressions.dart
  55. downwards_inference_on_function_of_t_using_the_t.dart
  56. downwards_inference_on_generic_constructor_arguments_empty_list.dart
  57. downwards_inference_on_generic_constructor_arguments_infer_downwards.dart
  58. downwards_inference_on_generic_function_expressions.dart
  59. downwards_inference_on_instance_creations_infer_downwards.dart
  60. downwards_inference_on_list_literals_infer_downwards.dart
  61. downwards_inference_on_list_literals_infer_if_value_types_match_context.dart
  62. downwards_inference_on_map_literals.dart
  63. downwards_inference_yield_yield_star.dart
  64. field_refers_to_static_getter.dart
  65. field_refers_to_top_level_getter.dart
  66. future_or_subtyping.dart
  67. future_then.dart
  68. future_then_2.dart
  69. future_then_3.dart
  70. future_then_4.dart
  71. future_then_5.dart
  72. future_then_6.dart
  73. future_then_conditional.dart
  74. future_then_conditional_2.dart
  75. future_then_conditional_3.dart
  76. future_then_conditional_4.dart
  77. future_then_conditional_5.dart
  78. future_then_conditional_6.dart
  79. future_then_conditional_deprecated.dart
  80. future_then_conditional_deprecated_2.dart
  81. future_then_conditional_deprecated_3.dart
  82. future_then_conditional_deprecated_4.dart
  83. future_then_deprecated.dart
  84. future_then_deprecated_2.dart
  85. future_then_deprecated_3.dart
  86. future_then_deprecated_4.dart
  87. future_then_deprecated_5.dart
  88. future_then_deprecated_6.dart
  89. future_then_downwards_method_target.dart
  90. future_then_explicit_future.dart
  91. future_then_upwards.dart
  92. future_then_upwards_2.dart
  93. future_then_upwards_3.dart
  94. future_then_upwards_deprecated.dart
  95. future_then_upwards_deprecated_2.dart
  96. future_then_upwards_deprecated_3.dart
  97. future_then_upwards_from_block.dart
  98. future_union_async_conditional.dart
  99. future_union_async_conditional_2.dart
  100. future_union_async_conditional_deprecated.dart
  101. future_union_async_conditional_deprecated_2.dart
  102. future_union_downwards.dart
  103. future_union_downwards_2.dart
  104. future_union_downwards_3.dart
  105. future_union_downwards_4.dart
  106. future_union_downwards_deprecated.dart
  107. future_union_downwards_deprecated_2.dart
  108. future_union_downwards_deprecated_3.dart
  109. future_union_downwards_deprecated_4.dart
  110. future_union_downwards_generic_method_with_future_return.dart
  111. future_union_downwards_generic_method_with_generic_return.dart
  112. future_union_upwards_generic_methods.dart
  113. generic_functions_return_typedef.dart
  114. generic_methods_basic_downward_inference.dart
  115. generic_methods_correctly_recognize_generic_upper_bound.dart
  116. generic_methods_dart_math_min_max.dart
  117. generic_methods_do_not_infer_invalid_override_of_generic_method.dart
  118. generic_methods_downwards_inference_affects_arguments.dart
  119. generic_methods_downwards_inference_fold.dart
  120. generic_methods_handle_override_of_non_generic_with_generic.dart
  121. generic_methods_infer_generic_function_parameter_type.dart
  122. generic_methods_infer_generic_function_parameter_type2.dart
  123. generic_methods_infer_generic_function_return_type.dart
  124. generic_methods_infer_generic_instantiation.dart
  125. generic_methods_infer_generic_method_type.dart
  126. generic_methods_infer_js_builtin.dart
  127. generic_methods_inference_error.dart
  128. generic_methods_iterable_and_future.dart
  129. generic_methods_nested_generic_instantiation.dart
  130. generic_methods_uses_greatest_lower_bound.dart
  131. infer_assign_to_index.dart
  132. infer_assign_to_property.dart
  133. infer_assign_to_property_custom.dart
  134. infer_assign_to_ref.dart
  135. infer_binary_custom.dart
  136. infer_binary_double_double.dart
  137. infer_binary_double_int.dart
  138. infer_binary_int_double.dart
  139. infer_binary_int_int.dart
  140. infer_conditional.dart
  141. infer_consts_transitively_2.dart
  142. infer_consts_transitively_2_a.dart
  143. infer_consts_transitively_2_b.dart
  144. infer_consts_transitively_b.dart
  145. infer_correctly_on_multiple_variables_declared_together.dart
  146. infer_from_complex_expressions_if_outer_most_value_is_precise.dart
  147. infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields.dart
  148. infer_from_rhs_only_if_it_wont_conflict_with_overridden_fields2.dart
  149. infer_from_variables_in_cycle_libs_when_flag_is_on.dart
  150. infer_from_variables_in_cycle_libs_when_flag_is_on2.dart
  151. infer_from_variables_in_cycle_libs_when_flag_is_on2_a.dart
  152. infer_from_variables_in_cycle_libs_when_flag_is_on_a.dart
  153. infer_from_variables_in_non_cycle_imports_with_flag.dart
  154. infer_from_variables_in_non_cycle_imports_with_flag2.dart
  155. infer_from_variables_in_non_cycle_imports_with_flag2_a.dart
  156. infer_from_variables_in_non_cycle_imports_with_flag_a.dart
  157. infer_generic_method_type_named.dart
  158. infer_generic_method_type_positional.dart
  159. infer_generic_method_type_positional2.dart
  160. infer_generic_method_type_required.dart
  161. infer_list_literal_nested_in_map_literal.dart
  162. infer_local_function_return_type.dart
  163. infer_parameter_type_setter_from_field.dart
  164. infer_parameter_type_setter_from_setter.dart
  165. infer_prefix_expression.dart
  166. infer_prefix_expression_custom.dart
  167. infer_return_of_statement_lambda.dart
  168. infer_statics_transitively.dart
  169. infer_statics_transitively2.dart
  170. infer_statics_transitively3.dart
  171. infer_statics_transitively3_a.dart
  172. infer_statics_transitively_2_a.dart
  173. infer_statics_transitively_a.dart
  174. infer_statics_transitively_b.dart
  175. infer_statics_with_method_invocations.dart
  176. infer_statics_with_method_invocations_a.dart
  177. infer_throw.dart
  178. infer_type_cast.dart
  179. infer_type_on_overridden_fields2.dart
  180. infer_type_on_overridden_fields4.dart
  181. infer_type_on_var.dart
  182. infer_type_on_var2.dart
  183. infer_type_on_var_from_field.dart
  184. infer_type_on_var_from_top_level.dart
  185. infer_type_regardless_of_declaration_order_or_cycles.dart
  186. infer_type_regardless_of_declaration_order_or_cycles_b.dart
  187. infer_typed_list_literal.dart
  188. infer_typed_map_literal.dart
  189. infer_types_on_generic_instantiations_3.dart
  190. infer_types_on_generic_instantiations_4.dart
  191. infer_types_on_generic_instantiations_5.dart
  192. infer_types_on_generic_instantiations_in_library_cycle.dart
  193. infer_types_on_generic_instantiations_in_library_cycle_a.dart
  194. infer_types_on_generic_instantiations_infer.dart
  195. infer_types_on_loop_indices_for_each_loop.dart
  196. infer_types_on_loop_indices_for_loop_with_inference.dart
  197. infer_use_of_void.dart
  198. infer_variable_void.dart
  199. inferred_initializing_formal_checks_default_value.dart
  200. inferred_nonstatic_field_depends_on_static_field_complex.dart
  201. inferred_nonstatic_field_depends_on_top_level_var_simple.dart
  202. inferred_type_block_closure_no_args_no_return.dart
  203. inferred_type_cascade.dart
  204. inferred_type_custom_binary_op.dart
  205. inferred_type_custom_binary_op_via_interface.dart
  206. inferred_type_custom_index_op.dart
  207. inferred_type_custom_index_op_via_interface.dart
  208. inferred_type_custom_unary_op.dart
  209. inferred_type_custom_unary_op_via_interface.dart
  210. inferred_type_extract_method_tear_off.dart
  211. inferred_type_extract_method_tear_off_via_interface.dart
  212. inferred_type_from_top_level_executable_tear_off.dart
  213. inferred_type_invoke_method.dart
  214. inferred_type_invoke_method_via_interface.dart
  215. inferred_type_is_enum.dart
  216. inferred_type_is_enum_values.dart
  217. inferred_type_is_typedef.dart
  218. inferred_type_is_typedef_parameterized.dart
  219. inferred_type_uses_synthetic_function_type.dart
  220. inferred_type_uses_synthetic_function_type_function_typed_param.dart
  221. inferred_type_uses_synthetic_function_type_named_param.dart
  222. inferred_type_uses_synthetic_function_type_positional_param.dart
  223. inferred_type_uses_synthetic_function_type_required_param.dart
  224. inferred_type_via_closure_multiple_levels_of_nesting.dart
  225. inferred_type_via_closure_type_depends_on_args.dart
  226. inferred_type_via_closure_type_independent_of_args_field.dart
  227. inferred_type_via_closure_type_independent_of_args_top_level.dart
  228. instantiate_to_bounds_generic2_has_bound_defined_after.dart
  229. instantiate_to_bounds_generic2_has_bound_defined_before.dart
  230. instantiate_to_bounds_generic2_no_bound.dart
  231. instantiate_to_bounds_generic_has_bound_defined_after.dart
  232. instantiate_to_bounds_generic_has_bound_defined_before.dart
  233. instantiate_to_bounds_invoke_constructor_no_bound.dart
  234. instantiate_to_bounds_invoke_constructor_type_args_exact.dart
  235. instantiate_to_bounds_not_generic.dart
  236. int_upwards_local.dart
  237. int_upwards_local.dart.dartk.expect
  238. int_upwards_local.dart.direct.expect
  239. int_upwards_local.dart.outline.expect
  240. int_upwards_local.dart.strong.expect
  241. lambda_does_not_have_propagated_type_hint.dart
  242. list_literals.dart
  243. list_literals_can_infer_null_bottom.dart
  244. list_literals_can_infer_null_top_level.dart
  245. list_literals_top_level.dart
  246. local_constructor_from_arguments.dart
  247. local_constructor_from_arguments.dart.direct.expect
  248. local_constructor_from_arguments.dart.outline.expect
  249. local_constructor_from_arguments.dart.strong.expect
  250. local_reference_upwards_local.dart
  251. local_reference_upwards_local.dart.dartk.expect
  252. local_reference_upwards_local.dart.direct.expect
  253. local_reference_upwards_local.dart.outline.expect
  254. local_reference_upwards_local.dart.strong.expect
  255. map_literals.dart
  256. map_literals_can_infer_null.dart
  257. map_literals_can_infer_null_top_level.dart
  258. map_literals_top_level.dart
  259. method_call_with_type_arguments_instance_method.dart
  260. method_call_with_type_arguments_instance_method_identifier_sequence.dart
  261. method_call_with_type_arguments_static_method.dart
  262. method_call_with_type_arguments_top_level_function.dart
  263. no_error_when_declared_type_is_num_and_assigned_null.dart
  264. null_coalescing_operator.dart
  265. null_coalescing_operator_2.dart
  266. null_literal_should_not_infer_as_bottom.dart
  267. propagate_inference_to_field_in_class.dart
  268. propagate_inference_to_field_in_class_dynamic_warnings.dart
  269. propagate_inference_transitively.dart
  270. propagate_inference_transitively2.dart
  271. reference_to_typedef.dart
  272. refine_binary_expression_type_type_parameter_t_double.dart
  273. refine_binary_expression_type_type_parameter_t_int.dart
  274. refine_binary_expression_type_type_parameter_t_t.dart
  275. static_method_tear_off.dart
  276. toplevel_inference_toplevel_var.dart
  277. toplevel_inference_toplevel_var.dart.direct.expect
  278. toplevel_inference_toplevel_var.dart.outline.expect
  279. toplevel_inference_toplevel_var.dart.strong.expect
  280. type_promotion_simple.dart
  281. type_promotion_simple.dart.dartk.expect
  282. type_promotion_simple.dart.direct.expect
  283. type_promotion_simple.dart.outline.expect
  284. type_promotion_simple.dart.strong.expect
  285. type_promotion_stopped_by_access_in_a_closure.dart
  286. type_promotion_stopped_by_access_in_a_closure.dart.dartk.expect
  287. type_promotion_stopped_by_access_in_a_closure.dart.direct.expect
  288. type_promotion_stopped_by_access_in_a_closure.dart.outline.expect
  289. type_promotion_stopped_by_access_in_a_closure.dart.strong.expect
  290. type_promotion_stopped_by_assignment_in_scope.dart
  291. type_promotion_stopped_by_assignment_in_scope.dart.dartk.expect
  292. type_promotion_stopped_by_assignment_in_scope.dart.direct.expect
  293. type_promotion_stopped_by_assignment_in_scope.dart.outline.expect
  294. type_promotion_stopped_by_assignment_in_scope.dart.strong.expect
  295. type_promotion_stopped_by_mutation_in_a_closure.dart
  296. type_promotion_stopped_by_mutation_in_a_closure.dart.dartk.expect
  297. type_promotion_stopped_by_mutation_in_a_closure.dart.direct.expect
  298. type_promotion_stopped_by_mutation_in_a_closure.dart.outline.expect
  299. type_promotion_stopped_by_mutation_in_a_closure.dart.strong.expect
  300. unsafe_block_closure_inference_closure_call.dart
  301. unsafe_block_closure_inference_constructor_call_explicit_dynamic_param.dart
  302. unsafe_block_closure_inference_constructor_call_explicit_type_param.dart
  303. unsafe_block_closure_inference_constructor_call_implicit_type_param.dart
  304. unsafe_block_closure_inference_constructor_call_no_type_param.dart
  305. unsafe_block_closure_inference_function_call_explicit_dynamic_param.dart
  306. unsafe_block_closure_inference_function_call_explicit_dynamic_param_via_expr1.dart
  307. unsafe_block_closure_inference_function_call_explicit_dynamic_param_via_expr2.dart
  308. unsafe_block_closure_inference_function_call_explicit_type_param.dart
  309. unsafe_block_closure_inference_function_call_explicit_type_param_via_expr1.dart
  310. unsafe_block_closure_inference_function_call_explicit_type_param_via_expr2.dart
  311. unsafe_block_closure_inference_function_call_implicit_type_param.dart
  312. unsafe_block_closure_inference_function_call_implicit_type_param_via_expr.dart
  313. unsafe_block_closure_inference_function_call_no_type_param.dart
  314. unsafe_block_closure_inference_function_call_no_type_param_via_expr.dart
  315. unsafe_block_closure_inference_in_list_dynamic.dart
  316. unsafe_block_closure_inference_in_list_typed.dart
  317. unsafe_block_closure_inference_in_list_untyped.dart
  318. unsafe_block_closure_inference_in_map_dynamic.dart
  319. unsafe_block_closure_inference_in_map_typed.dart
  320. unsafe_block_closure_inference_in_map_untyped.dart
  321. unsafe_block_closure_inference_method_call_explicit_dynamic_param.dart
  322. unsafe_block_closure_inference_method_call_explicit_type_param.dart
  323. unsafe_block_closure_inference_method_call_implicit_type_param.dart
  324. unsafe_block_closure_inference_method_call_no_type_param.dart
  325. void_return_type_subtypes_dynamic.dart