Get rid of unnecessary global inference on hhstc checks
commitb9852690f6fb5198fcb2ba0661a4e752190287f6
authorMistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com>
Tue, 30 Nov 2021 14:20:57 +0000 (30 06:20 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Tue, 30 Nov 2021 14:22:49 +0000 (30 06:22 -0800)
tree3a9453f289daa243f04ae4d07b49330fcae9bd64
parentd340c7c772f6612a5b0eacb6ea78ca17dee5089c
Get rid of unnecessary global inference on hhstc checks

Summary: Before we were using global inference to do typechecking which added a non-constant overhead every time we used `hhstc` to run tests or do investigations. Particularly, this was skewing perf investigations.

Reviewed By: andrewjkennedy, CatherineGasnier

Differential Revision: D32667205

fbshipit-source-id: fcdb8c2b26c08a4405ab74c9512fb46fde05f5ba
hphp/hack/src/hh_single_type_check.ml