Add flag to gate method call inference constraints
commit03f089bbb64490d49e2cd7f242c7af29731a55b8
authorHrutvik Kanabar <hrutvik@fb.com>
Tue, 4 Aug 2020 17:04:12 +0000 (4 10:04 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 4 Aug 2020 17:05:55 +0000 (4 10:05 -0700)
tree5d80f332dc91a6120f5c928e5aeba96b96be5c54
parentaeaff37c3e7a378af54275bf4ec1d3d0d2e7e61e
Add flag to gate method call inference constraints

Summary: Created a `--method-call-inference` option for `hh_single_type_check` and `method_call_inference` option for `.hhconfig`. Currently flag does not do anything.

Reviewed By: andrewjkennedy

Differential Revision: D22840846

fbshipit-source-id: 4ffc74fbe42bb0dc17897603a206a23efb810cbd
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/options/globalOptions.ml
hphp/hack/src/options/globalOptions.mli
hphp/hack/src/options/typecheckerOptions.ml
hphp/hack/src/oxidized/gen/global_options.rs
hphp/hack/src/oxidized/manual/global_options_impl.rs
hphp/hack/src/server/serverConfig.ml
hphp/hack/test/typecheck/method_call_inference/HH_FLAGS [new file with mode: 0644]