fix exception on calls to map2_env
commit9dfc8e2aa9c1bf80de560a796a87b3b80837a107
authorCatherine Gasnier <catg@fb.com>
Wed, 6 Feb 2019 15:20:59 +0000 (6 07:20 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Wed, 6 Feb 2019 15:35:34 +0000 (6 07:35 -0800)
tree1dbccab90175ed0dce1db5bc5e2d921e84bd4bed
parent99a89fdd735b8d8577c45107ce5484aadbcbf5bb
fix exception on calls to map2_env

Summary: bug was introduced in D13911733 and would have us occasionally call map2_env on two lists of different sizes.

Reviewed By: arun11111

Differential Revision: D13971799

fbshipit-source-id: ad2c00d7f0347e818f9cd28aed6c81654959bcfc
hphp/hack/src/typing/typing_unify.ml