Fix hover information in shape receivers
commit93b8b80a64ad818fef00a7c3e043fc286cc86bb2
authorWilfred Hughes <wilfred@fb.com>
Wed, 16 Mar 2022 17:39:05 +0000 (16 10:39 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Wed, 16 Mar 2022 17:39:05 +0000 (16 10:39 -0700)
tree5da1f0acc11ea661bc807c2d32baedcf6058411e
parentbbd6c38d8dd1c0f8d9d8cc319be69f065d7db718
Fix hover information in shape receivers

Summary: D34131074 (https://github.com/facebook/hhvm/commit/a93145bee110304e490b035b67c1fb4b5fcb6457) had a bug where we didn't recurse into receivers of shape indexing expressions. Fix that case.

Reviewed By: hgoldstein

Differential Revision: D34628300

fbshipit-source-id: f44a1d146088d95a3b21e2d13db0c04dd42320f8
hphp/hack/src/server/serverInferType.ml
hphp/hack/test/hover/shape_braces.php [new file with mode: 0644]
hphp/hack/test/hover/shape_braces.php.exp [new file with mode: 0644]
hphp/hack/test/hover/shape_receiver.php [new file with mode: 0644]
hphp/hack/test/hover/shape_receiver.php.exp [new file with mode: 0644]