Clean up type extraction from tast
commit23f2db43c145d701fcbb1d2b764ae268b546cc98
authorHenri Verroken <hverr@fb.com>
Wed, 26 Feb 2020 20:41:50 +0000 (26 12:41 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Wed, 26 Feb 2020 20:56:54 +0000 (26 12:56 -0800)
tree108a075333634dcb793ffc825879d6b18626c1e6
parente1661893872b96fe762ce8e32dda82c05173d5e9
Clean up type extraction from tast

Summary:
- Remove legacy position-to-tvar map
- Use `global_reason` in typing environment to detect global type variables
- Remove `Rglobal_partial_annot` -> use `Rtype_variable_generics`

Reviewed By: CatherineGasnier

Differential Revision: D20117068

fbshipit-source-id: 6416e0c526b16565631412ccf8ac4bdc733bbd6d
hphp/hack/src/decl/decl_pos_utils.ml
hphp/hack/src/hh_single_type_check.ml
hphp/hack/src/server/serverGlobalInference.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli
hphp/hack/src/typing/typing_global_inference.ml
hphp/hack/src/typing/typing_global_inference.mli
hphp/hack/src/typing/typing_inference_env.ml
hphp/hack/src/typing/typing_inference_env.mli
hphp/hack/src/typing/typing_reason.ml