Handle primitive union typehints
commit2fa08260a9067e60a7b3c928af7a52057aee6d2b
authorKunal Mehta <kunalm@fb.com>
Fri, 16 Feb 2018 05:54:58 +0000 (15 21:54 -0800)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 16 Feb 2018 06:09:16 +0000 (15 22:09 -0800)
tree58f3fe0f44e602baf0f744b5f2db0b4fd8d7a115
parentb2d1284d3406389cfd9d51f974942767acf46a49
Handle primitive union typehints

Summary: This desugars primitive unions to an OR of simple typechecks.

Reviewed By: oulgen

Differential Revision: D6986064

fbshipit-source-id: c169262936ba314dd7d2eb56a7da30a5a8957a01
hphp/hack/src/hhbc/emit_expression.ml
hphp/test/slow/is_expression/is-expression-primitive-union.php [new file with mode: 0644]
hphp/test/slow/is_expression/is-expression-primitive-union.php.expect [new file with mode: 0644]
hphp/test/slow/is_expression/is-expression-primitive-union.php.onlyhackc [new file with mode: 0644]