| commit | 0f0c4c19e86d3bc52acba494c7dd93c7c7a8d9f3 | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Wed, 13 Jun 2018 09:19:29 +0000 (13 02:19 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 13 Jun 2018 09:37:47 +0000 (13 02:37 -0700) | ||
| tree | bd767f660cc641721bca6962ebb3a0781a0da73e | treesnapshot (tar.gz zip) |
| parent | 5abacd4553443490c14da50cbf8353742308cebd | commitdiff |
Add cases for primitives to simplify_subtype
Summary: A primitives type is never a subtype of a function, tuple, shape, class (except `Stringish` and `XHPChild`, which are already handled), array, newtype, or enum.
Reviewed By: andrewjkennedy
Differential Revision: D8378649
fbshipit-source-id: 4e705a47f5d4a2cf7f4eb00f57759ca25179d9a0
Summary: A primitives type is never a subtype of a function, tuple, shape, class (except `Stringish` and `XHPChild`, which are already handled), array, newtype, or enum.
Reviewed By: andrewjkennedy
Differential Revision: D8378649
fbshipit-source-id: 4e705a47f5d4a2cf7f4eb00f57759ca25179d9a0
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/meth_caller11.php.exp | diffblobblamehistory |