Don't overload `anon` for both PHP-style anon. funs & lambdas
commit16cec312cafbf2327f3701eba2b99191ac76ae51
authorLeo Osvald <leoo@fb.com>
Mon, 28 Dec 2020 07:12:44 +0000 (27 23:12 -0800)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Mon, 28 Dec 2020 07:14:48 +0000 (27 23:14 -0800)
tree6c0dc2898586101101916eaa81da3ea75d75efbb
parent0671fe9789724289cd244f8801c84c5378fd83bb
Don't overload `anon` for both PHP-style anon. funs & lambdas

Summary:
Cleanup: rename `anon_*` helper methods to `closure_` to make it more obvious
that they operate on *both* lambdas and PHP-style anonymous functions.

Reviewed By: DavidSnider

Differential Revision: D25672232

fbshipit-source-id: 936508ab191e0749c5f2fdafb3a0ba82fa49162d
hphp/hack/src/typing/typing.ml
hphp/hack/src/typing/typing_env.ml
hphp/hack/src/typing/typing_env.mli