Remove redundant RequireDynamic]nightly-2023.02.04
commit0ceb0b7ce43330cd9dbbe4d87565f3784c7c1c0c
authorAndrew Kennedy <[email protected]>
Sat, 4 Feb 2023 00:50:34 +0000 (3 16:50 -0800)
committerFacebook GitHub Bot <[email protected]>
Sat, 4 Feb 2023 00:50:34 +0000 (3 16:50 -0800)
tree1cbfd0889e9497c8c695ac696b45d7a1157ccd6f
parent0dafebf9479ae4818c294f50eef444691740a0e5
Remove redundant RequireDynamic]

Summary: For generic types under Sound Dynamic we have a range of options. One is the use of `__RequireDynamic` on generic parameters, which means that the generic type is dynamic-aware subtype of `dynamic` only if the parameter is *exactly* `dynamic`. This is not appropriate for a uniform pessimisation policy, because `Vector<string>` and similar then do not support dynamic. It was a mistake to put these on generics in `hhi` - let's remove them.

Reviewed By: periodic1236

Differential Revision: D43003832

fbshipit-source-id: abe0c321a821c56a15df36e6c1b99a2160186547
49 files changed:
hphp/hack/hhi/classes.hhi
hphp/hack/hhi/collections/ImmMap.hhi
hphp/hack/hhi/collections/ImmSet.hhi
hphp/hack/hhi/collections/ImmVector.hhi
hphp/hack/hhi/collections/Map.hhi
hphp/hack/hhi/collections/Pair.hhi
hphp/hack/hhi/collections/Set.hhi
hphp/hack/hhi/collections/Vector.hhi
hphp/hack/hhi/collections/interfaces.hhi
hphp/hack/hhi/hackarray.hhi
hphp/hack/test/sound_dynamic/typing/upcast.bad.php.exp
hphp/hack/test/typecheck/aktuple/foreach_error.php.exp
hphp/hack/test/typecheck/aktuple/subtyping_interfaces.php.exp
hphp/hack/test/typecheck/argument_unpacking/unpack_call12_infer.php.exp
hphp/hack/test/typecheck/array/allow_returning_darray_of_subtype.php.exp
hphp/hack/test/typecheck/array/safe_vector_array/disallow_darray_with_non_arraykey_keys.php.exp
hphp/hack/test/typecheck/array/safe_vector_array/disallow_darray_with_wrong_key_type_where_varray_or_darray_is_required_in_non_strict_mode.php.exp
hphp/hack/test/typecheck/array/safe_vector_array/disallows_array_of_int_when_array_of_tk_to_tv_is_required.php.exp
hphp/hack/test/typecheck/array_get_generic_lvalue_array_get.php.exp
hphp/hack/test/typecheck/array_get_newtype.php.exp
hphp/hack/test/typecheck/array_get_tconst.php.exp
hphp/hack/test/typecheck/array_sub.php.exp
hphp/hack/test/typecheck/array_sub2.php.exp
hphp/hack/test/typecheck/as_expression/dict.php.exp
hphp/hack/test/typecheck/as_expression/dict2.php.exp
hphp/hack/test/typecheck/as_expression/keyset.php.exp
hphp/hack/test/typecheck/as_expression/keyset2.php.exp
hphp/hack/test/typecheck/collection_mixed.php.exp
hphp/hack/test/typecheck/collection_type_argument.php.exp
hphp/hack/test/typecheck/const_type_violated_constraint.php.exp
hphp/hack/test/typecheck/foreach_vector.php.exp
hphp/hack/test/typecheck/is_expression/dict.php.exp
hphp/hack/test/typecheck/is_expression/keyset.php.exp
hphp/hack/test/typecheck/lambda/lambda_bad_pos.php.exp
hphp/hack/test/typecheck/memoize/array_of_bad_class.php.exp
hphp/hack/test/typecheck/memoize/array_of_bad_class2.php.exp
hphp/hack/test/typecheck/memoize/opaque_alias_container_of_bad_class.php.exp
hphp/hack/test/typecheck/memoize/opaque_alias_container_of_bad_class2.php.exp
hphp/hack/test/typecheck/must_be_arraykey.php.exp
hphp/hack/test/typecheck/new_inference/eager_solve/shapes_toarray.php.exp
hphp/hack/test/typecheck/new_inference/index_array_bad.php.exp
hphp/hack/test/typecheck/nonnull/array_is_subtype_of_nonnull.php.exp
hphp/hack/test/typecheck/subtype_array3.php.exp
hphp/hack/test/typecheck/subtype_array4.php.exp
hphp/hack/test/typecheck/subtype_collection_interfaces_1.php.exp
hphp/hack/test/typecheck/subtype_collection_interfaces_2.php.exp
hphp/hack/test/typecheck/test_array4.php.exp
hphp/hack/test/typecheck/variadic_args1.php.exp
hphp/hack/test/typecheck/variadic_args8.php.exp