| commit | ad6c7b4bc992258da354a75766bacfe96fb72fc4 | |
| author | Wilfred Hughes <wilfred@fb.com> | |
| Wed, 1 Apr 2020 23:48:54 +0000 (1 16:48 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Thu, 2 Apr 2020 00:11:11 +0000 (1 17:11 -0700) | ||
| tree | 655fbcd99a4e0568dd3b6b51d1f9985605b4d420 | treesnapshot (tar.gz zip) |
| parent | bd1988bac486b0075e0f22d812c45f1a0671d1cf | commitdiff |
Remove instanceof from typing rules
Summary: `instanceof` no longer exists in Hack, so remove the relevant typing rules.
Reviewed By: vassilmladenov
Differential Revision: D20683769
fbshipit-source-id: a72d463498f849b718f607763207fd5e292730de
Summary: `instanceof` no longer exists in Hack, so remove the relevant typing rules.
Reviewed By: vassilmladenov
Differential Revision: D20683769
fbshipit-source-id: a72d463498f849b718f607763207fd5e292730de
| hphp/hack/doc/type_system/hack_typing.ott | diffblobblamehistory |