Edge case checking caused cross verificaion testing failed.
commite7d0d6c643d0bb428c590e44d1639d179f5499af
authorXiangyu Guo <lambda@fb.com>
Fri, 18 Jun 2021 21:39:46 +0000 (18 14:39 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Fri, 18 Jun 2021 21:40:58 +0000 (18 14:40 -0700)
tree82122d976fb7e072d1d460080f957c3088335884
parent61d35a125d5c155ae609188b7c1a2e40d5d940f7
Edge case checking caused cross verificaion testing failed.

Summary: Introduced a bug during D29056607 (https://github.com/facebook/hhvm/commit/42a86d339f3ae7932b0a8306e34b363f5ae9b1ba) revising. Forgot to run the "cross_verification" script. Here is a fix.

Reviewed By: jamesjwu

Differential Revision: D29239489

fbshipit-source-id: 69283e0712ad629890d76b367b02920284b78bc1
hphp/hack/src/hh_codesynthesis/hh_codesynthesis.py