Mechanism to filter type variables
commit46f4278628c0277ed8b0055df730a748ce148ee4
authorHenri Verroken <hverr@fb.com>
Thu, 13 Feb 2020 16:18:01 +0000 (13 08:18 -0800)
committerFacebook Github Bot <facebook-github-bot@users.noreply.github.com>
Thu, 13 Feb 2020 16:21:03 +0000 (13 08:21 -0800)
treef82fcd56623c9044342304dde07e444395386448
parentbf8f705dd4cf2836e9a7801ea153c4e9a71e3538
Mechanism to filter type variables

Summary: Add a mechanism to filter out certain type variables, as if they never existed.

Reviewed By: CatherineGasnier

Differential Revision: D19471659

fbshipit-source-id: 95661baf75e6b0683e49f99557ddc421cc6b89fa
hphp/hack/src/typing/dune
hphp/hack/src/typing/type_mapper_forget.ml [new file with mode: 0644]
hphp/hack/src/typing/typing_inference_env.ml
hphp/hack/src/typing/typing_inference_env.mli