Remove infer_ty_hook
commit930f1f3fd8b40a1adb611525fa9c81245b90cdc2
authorJake Bailey <jakebailey@fb.com>
Mon, 19 Mar 2018 18:33:26 +0000 (19 11:33 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Mon, 19 Mar 2018 23:42:48 +0000 (19 16:42 -0700)
tree1ec6ff26a75e74054bc907f717bfd9f081239514
parent0d8b3476c2878e990b474c756087baa5b744906c
Remove infer_ty_hook

Summary: No more references to this typing hook exist, so we are free to remove it.

Reviewed By: dlreeves

Differential Revision: D6598231

fbshipit-source-id: ea810c02d2c674b2ca787582301f74a4f6c99ab7
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_hooks.ml