Flip the positions so that the type error is over the expression
commit4b9da2c1b0fef14f63837f53c5d1f8ff75cf45a8
authorDavid Snider <dizzy@fb.com>
Thu, 29 Apr 2021 23:01:59 +0000 (29 16:01 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 29 Apr 2021 23:03:03 +0000 (29 16:03 -0700)
tree02fd1017858793d2c77aa6172cde0900f58b0fab
parent0034d38affa4d9a14d555264b30f40fda1ff3b3d
Flip the positions so that the type error is over the expression

Summary: Created from Diffusion's 'Open in Editor' feature.

Reviewed By: vassilmladenov

Differential Revision: D28021083

fbshipit-source-id: 454913dada61bf57fcf9d71ab56437d563c20bed
34 files changed:
hphp/hack/src/typing/typing_arithmetic.ml
hphp/hack/test/integration_ml/ide/test_ide_check.ml
hphp/hack/test/tast/concurrent_error.php.exp
hphp/hack/test/typecheck/anon2.php.exp
hphp/hack/test/typecheck/await_as_an_expression/error/await_as_an_expression_awaiting_wrong_type.php.exp
hphp/hack/test/typecheck/await_on_awaitable_type_mismatch.php.exp
hphp/hack/test/typecheck/coeffects/poly_var_reassign/trivial.php.exp
hphp/hack/test/typecheck/default_with_type_error.php.exp
hphp/hack/test/typecheck/disallow_array_addition.php.exp
hphp/hack/test/typecheck/do_cond2.php.exp
hphp/hack/test/typecheck/do_while_condition_typechange.php.exp
hphp/hack/test/typecheck/dynamic/bad_math.php.exp
hphp/hack/test/typecheck/exponential_2.php.exp
hphp/hack/test/typecheck/expression_trees/splice_state.php.exp
hphp/hack/test/typecheck/expression_trees/splice_state.php.like_types.exp
hphp/hack/test/typecheck/expression_trees/splice_state2.php.exp
hphp/hack/test/typecheck/expression_trees/splice_state2.php.like_types.exp
hphp/hack/test/typecheck/expression_trees/splice_state3.php.exp
hphp/hack/test/typecheck/expression_trees/splice_state3.php.like_types.exp
hphp/hack/test/typecheck/expression_trees/splice_state4.php.exp
hphp/hack/test/typecheck/expression_trees/splice_state4.php.like_types.exp
hphp/hack/test/typecheck/for_condition_typechange.php.exp
hphp/hack/test/typecheck/foreach_vector.php.exp
hphp/hack/test/typecheck/lambda/lambda_hof_bad.php.exp
hphp/hack/test/typecheck/lambda/variadics/arities02.php.exp
hphp/hack/test/typecheck/lambda/variadics/inferred_variadic_type.php.exp
hphp/hack/test/typecheck/math_new_code/math_ops.php.exp
hphp/hack/test/typecheck/mixed_lambda_ko.php.exp
hphp/hack/test/typecheck/nonnull/nonnull_summand.php.exp
hphp/hack/test/typecheck/null_type.php.exp
hphp/hack/test/typecheck/semi_mixed_lambda_ko.php.exp
hphp/hack/test/typecheck/typing_fail_instance_of.php.exp
hphp/hack/test/typecheck/while_cond3.php.exp
hphp/hack/test/typecheck/while_condition_typechange.php.exp