Lowering and declaration for readonly function typehints
commit084b60f677857e9ab0742efcd8d8f514767c8a93
authorJames Wu <jjwu@fb.com>
Wed, 31 Mar 2021 00:02:56 +0000 (30 17:02 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 31 Mar 2021 00:07:19 +0000 (30 17:07 -0700)
tree4f9403726d7d9403c3401a22a0e28fe1b034b7e4
parent4e88072b60156a6f5348c25c90ba705f4897913f
Lowering and declaration for readonly function typehints

Summary: This diff adds lowering and updates the direct decl parser to recognize readonly function type hints

Reviewed By: losvald

Differential Revision: D27244430

fbshipit-source-id: 7465cae9332c5ac4a7a720d07fa4855957d17fb6
19 files changed:
hphp/hack/src/annotated_ast/aast_defs.ml
hphp/hack/src/decl/decl_hint.ml
hphp/hack/src/decl/direct_decl_smart_constructors.rs
hphp/hack/src/naming/naming.ml
hphp/hack/src/oxidized/aast_visitor/node_impl_gen.rs
hphp/hack/src/oxidized/aast_visitor/node_mut_impl_gen.rs
hphp/hack/src/oxidized/gen/aast_defs.rs
hphp/hack/src/oxidized_by_ref/gen/aast_defs.rs
hphp/hack/src/parser/lowerer/lowerer.rs
hphp/hack/src/typing/tast_check/instantiability_check.ml
hphp/hack/src/typing/typing_check_decls.ml
hphp/hack/src/typing/typing_variance.ml
hphp/hack/test/decl/readonly.php
hphp/hack/test/decl/readonly.php.exp
hphp/hack/test/nast/coeffects/poly_ctx.php.exp
hphp/hack/test/tast/array_map.php.exp
hphp/hack/test/tast/lambda_contextual.php.exp
hphp/hack/test/tast/reactive.php.exp
hphp/hack/test/tast/singleton_unresolved_function_call.php.exp