Migrate rx/pure tests to strict mode, fix broken testsnightly-2020.12.10
commitaab46ec961febe20243b684a4d12e45861bd83a4
authorLeo Osvald <leoo@fb.com>
Thu, 10 Dec 2020 01:56:44 +0000 (9 17:56 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 10 Dec 2020 01:58:55 +0000 (9 17:58 -0800)
treeae90e8b0a81b8a109bf047f7a44f4921c3c7e9de
parent500d9deaa5cbe5ff33d75e61b4e845129bda0dcd
Migrate rx/pure tests to strict mode, fix broken tests

Summary:
This complicates testing the migration of reactive code to coeffects,
since coeffects very much rely on correct typing. Unfortunately,
partial mode enables subtle bugs due to missing or incorrect types, thus decreasing confidence in the affected unit tests.

A few bugs have been uncovered in reactive tests, which corroborates the above. These were masked due to assume_php and partial mode.

Reviewed By: DavidSnider

Differential Revision: D25420308

fbshipit-source-id: b48210de4b290c0e3ff5cee3904a6e7c6543ac32
167 files changed:
hphp/hack/test/typecheck/reactive/at_most_rx_as_func1.php
hphp/hack/test/typecheck/reactive/at_most_rx_as_func2.php
hphp/hack/test/typecheck/reactive/at_most_rx_as_func3.php
hphp/hack/test/typecheck/reactive/at_most_rx_as_func4.php
hphp/hack/test/typecheck/reactive/cond_rx1.php
hphp/hack/test/typecheck/reactive/cond_rx2.php
hphp/hack/test/typecheck/reactive/cond_rx3.php
hphp/hack/test/typecheck/reactive/cond_typeconstant1.php
hphp/hack/test/typecheck/reactive/cond_typeconstant2.php
hphp/hack/test/typecheck/reactive/conditional_reactivity1.php
hphp/hack/test/typecheck/reactive/conditional_reactivity2.php
hphp/hack/test/typecheck/reactive/conditional_rx1.php
hphp/hack/test/typecheck/reactive/conditional_type_constants.php
hphp/hack/test/typecheck/reactive/conditional_type_constants1.php
hphp/hack/test/typecheck/reactive/conditional_type_constants1.php.exp
hphp/hack/test/typecheck/reactive/conditional_type_constants1.php.legacy_decl.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/conditional_type_constants1.php.like_types.exp [copied from hphp/hack/test/typecheck/reactive/conditional_type_constants1.php.exp with 100% similarity]
hphp/hack/test/typecheck/reactive/conditionally_reactive_parent1.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals1.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals2.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals2_1.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals3.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals4.php
hphp/hack/test/typecheck/reactive/escaping_mutable_locals5.php
hphp/hack/test/typecheck/reactive/generic_cond_type1.php
hphp/hack/test/typecheck/reactive/index_on_any1.php
hphp/hack/test/typecheck/reactive/lambda_mutable1.php
hphp/hack/test/typecheck/reactive/lambda_mutable2.php
hphp/hack/test/typecheck/reactive/lambda_rx1.php
hphp/hack/test/typecheck/reactive/lambda_rx2.php
hphp/hack/test/typecheck/reactive/lambda_rx2_1.php
hphp/hack/test/typecheck/reactive/lambda_rx3.php
hphp/hack/test/typecheck/reactive/lamdba_and_shallow_reactive_callee.php
hphp/hack/test/typecheck/reactive/memoize_mutable1.php
hphp/hack/test/typecheck/reactive/memoize_mutable2.php
hphp/hack/test/typecheck/reactive/memoize_mutable3.php
hphp/hack/test/typecheck/reactive/memoize_mutable4.php
hphp/hack/test/typecheck/reactive/multiple_interfaces1.php
hphp/hack/test/typecheck/reactive/mut_collections/mut_capture1.php
hphp/hack/test/typecheck/reactive/mut_collections/mut_capture2.php
hphp/hack/test/typecheck/reactive/mut_collections/mutable_in_collections1.php
hphp/hack/test/typecheck/reactive/mut_collections/mutable_in_collections2.php
hphp/hack/test/typecheck/reactive/mut_string1.php
hphp/hack/test/typecheck/reactive/mutability_flavors1.php
hphp/hack/test/typecheck/reactive/mutability_flavors2.php
hphp/hack/test/typecheck/reactive/mutability_flavors2_1.php
hphp/hack/test/typecheck/reactive/mutability_flavors3.php
hphp/hack/test/typecheck/reactive/mutability_flavors4.php
hphp/hack/test/typecheck/reactive/mutability_flavors5.php
hphp/hack/test/typecheck/reactive/mutability_flavors6.php
hphp/hack/test/typecheck/reactive/mutability_flavors6_1.php
hphp/hack/test/typecheck/reactive/mutability_flavors6_2.php
hphp/hack/test/typecheck/reactive/mutability_flavors7.php
hphp/hack/test/typecheck/reactive/mutability_flavors8.php
hphp/hack/test/typecheck/reactive/mutability_flavors9.php
hphp/hack/test/typecheck/reactive/mutability_inout1.php
hphp/hack/test/typecheck/reactive/mutability_inout2.php
hphp/hack/test/typecheck/reactive/mutability_inout3.php
hphp/hack/test/typecheck/reactive/mutability_rx_local1.php
hphp/hack/test/typecheck/reactive/mutability_rx_local2.php
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor1.php
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor2.php
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor3.php
hphp/hack/test/typecheck/reactive/mutable_args_to_ctor4.php
hphp/hack/test/typecheck/reactive/mutable_as_hint1.php
hphp/hack/test/typecheck/reactive/mutable_as_hint2.php
hphp/hack/test/typecheck/reactive/mutable_as_hint3.php
hphp/hack/test/typecheck/reactive/mutable_as_hint4.php
hphp/hack/test/typecheck/reactive/mutable_as_hint5.php
hphp/hack/test/typecheck/reactive/mutable_as_hint6.php
hphp/hack/test/typecheck/reactive/mutable_as_hint7.php
hphp/hack/test/typecheck/reactive/mutable_as_hint8.php
hphp/hack/test/typecheck/reactive/mutable_call_on_immutable_value1.php
hphp/hack/test/typecheck/reactive/mutable_call_on_immutable_value2.php
hphp/hack/test/typecheck/reactive/mutable_in_expr1.php
hphp/hack/test/typecheck/reactive/mutable_in_expr2.php
hphp/hack/test/typecheck/reactive/mutable_in_expr3.php
hphp/hack/test/typecheck/reactive/mutable_inout1.php
hphp/hack/test/typecheck/reactive/mutable_on_static.php
hphp/hack/test/typecheck/reactive/mutable_return_ft_in_rx1.php
hphp/hack/test/typecheck/reactive/mutable_return_ft_in_rx2.php
hphp/hack/test/typecheck/reactive/mutable_static_method1.php
hphp/hack/test/typecheck/reactive/mutable_static_method2.php
hphp/hack/test/typecheck/reactive/nonrx1.php
hphp/hack/test/typecheck/reactive/nonrx2.php
hphp/hack/test/typecheck/reactive/nonrx3.php
hphp/hack/test/typecheck/reactive/nonrx4.php
hphp/hack/test/typecheck/reactive/nonrx5.php
hphp/hack/test/typecheck/reactive/nonrx6.php
hphp/hack/test/typecheck/reactive/nonrx7.php
hphp/hack/test/typecheck/reactive/null_in_mutable_return1.php
hphp/hack/test/typecheck/reactive/nullable_condition_type1.php
hphp/hack/test/typecheck/reactive/owned_mutable1.php
hphp/hack/test/typecheck/reactive/owned_mutable10.php
hphp/hack/test/typecheck/reactive/owned_mutable11.php
hphp/hack/test/typecheck/reactive/owned_mutable12.php
hphp/hack/test/typecheck/reactive/owned_mutable13.php
hphp/hack/test/typecheck/reactive/owned_mutable15.php
hphp/hack/test/typecheck/reactive/owned_mutable2.php
hphp/hack/test/typecheck/reactive/owned_mutable3.php
hphp/hack/test/typecheck/reactive/owned_mutable3.php.exp
hphp/hack/test/typecheck/reactive/owned_mutable4.php
hphp/hack/test/typecheck/reactive/owned_mutable5.php
hphp/hack/test/typecheck/reactive/owned_mutable6.php
hphp/hack/test/typecheck/reactive/owned_mutable7.php
hphp/hack/test/typecheck/reactive/owned_mutable8.php
hphp/hack/test/typecheck/reactive/owned_mutable9.php
hphp/hack/test/typecheck/reactive/pipe_rhs_awaitable_in_rx1.php
hphp/hack/test/typecheck/reactive/pipe_rhs_awaitable_in_rx2.php
hphp/hack/test/typecheck/reactive/reassign_in_foreach1.php
hphp/hack/test/typecheck/reactive/reassign_in_foreach2.php
hphp/hack/test/typecheck/reactive/reassign_in_foreach3.php
hphp/hack/test/typecheck/reactive/reassign_in_foreach4.php
hphp/hack/test/typecheck/reactive/reassign_in_foreach5.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx4.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx5.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx6.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx7.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx8.php
hphp/hack/test/typecheck/reactive/returns_void_to_rx_parent1.php
hphp/hack/test/typecheck/reactive/rx_append1.php
hphp/hack/test/typecheck/reactive/rx_append2.php
hphp/hack/test/typecheck/reactive/rx_class2.php
hphp/hack/test/typecheck/reactive/rx_class3.php
hphp/hack/test/typecheck/reactive/rx_contra1.php
hphp/hack/test/typecheck/reactive/rx_errors_in_nonrx_contexts.php
hphp/hack/test/typecheck/reactive/rx_move1.php
hphp/hack/test/typecheck/reactive/rx_move2.php
hphp/hack/test/typecheck/reactive/rx_move3.php
hphp/hack/test/typecheck/reactive/rx_move4.php
hphp/hack/test/typecheck/reactive/rx_move5.php
hphp/hack/test/typecheck/reactive/rx_move6.php
hphp/hack/test/typecheck/reactive/rx_move7.php
hphp/hack/test/typecheck/reactive/rx_mutable5.php
hphp/hack/test/typecheck/reactive/rx_mutable6.php
hphp/hack/test/typecheck/reactive/rx_mutable7.php
hphp/hack/test/typecheck/reactive/rx_mutable_in_pipe1.php
hphp/hack/test/typecheck/reactive/rx_mutable_parent_call1.php
hphp/hack/test/typecheck/reactive/rx_of_scope10.php
hphp/hack/test/typecheck/reactive/rx_of_scope11.php
hphp/hack/test/typecheck/reactive/rx_of_scope12.php
hphp/hack/test/typecheck/reactive/rx_of_scope5.php
hphp/hack/test/typecheck/reactive/rx_of_scope7.php
hphp/hack/test/typecheck/reactive/rx_of_scope8.php
hphp/hack/test/typecheck/reactive/rx_of_scope9.php
hphp/hack/test/typecheck/reactive/rx_superglobals1.php
hphp/hack/test/typecheck/reactive/rx_superglobals1.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals2.php
hphp/hack/test/typecheck/reactive/rx_superglobals2.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals3.php
hphp/hack/test/typecheck/reactive/rx_superglobals3.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals4.php
hphp/hack/test/typecheck/reactive/rx_superglobals4.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals5.php
hphp/hack/test/typecheck/reactive/rx_superglobals5.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals6.php
hphp/hack/test/typecheck/reactive/rx_superglobals6.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals8.php
hphp/hack/test/typecheck/reactive/rx_superglobals8.php.exp
hphp/hack/test/typecheck/reactive/rx_superglobals9.php
hphp/hack/test/typecheck/reactive/rx_superglobals9.php.exp
hphp/hack/test/typecheck/reactive/unsafe/references_in_unsafe_rx1.php
hphp/hack/test/typecheck/reactive/unset_rx4.php
hphp/hack/test/typecheck/reactive/unset_rx5.php
hphp/hack/test/typecheck/reactive/vararg_mutable1.php
hphp/hack/test/typecheck/reactive/vararg_mutable2.php
hphp/hack/test/typecheck/reactive/vararg_mutable3.php