not all calls invalidate fake members
commitf3ed356bcc90ed39a4d5f5f80894fa2f36b6252e
authorCatherine Gasnier <catg@fb.com>
Fri, 12 Oct 2018 14:43:25 +0000 (12 07:43 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 12 Oct 2018 14:45:39 +0000 (12 07:45 -0700)
tree19fab7b844fcd954a630507abb4e6064e1ae00d6
parent6d82d23d978c25f468599bf15dc54faf33ef2ecb
not all calls invalidate fake members

Summary: There are a few cases where we know for sure a call won't invalidate some fake members. I've added some of the most common here.

Reviewed By: manzyuk

Differential Revision: D9944417

fbshipit-source-id: 72381125cf62caccf27aee67dde42c938c5ffb71
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/fake_members/HH_FLAGS [new file with mode: 0644]
hphp/hack/test/typecheck/fake_members/dont_invalidate_is_null.php [new file with mode: 0644]
hphp/hack/test/typecheck/fake_members/dont_invalidate_is_null.php.exp [new file with mode: 0644]