Handle self, static, super
commitf8ff337187f86861aec68803e037eef3e5f6b00f
authorMax Heiber <mheiber@meta.com>
Thu, 27 Oct 2022 16:20:29 +0000 (27 09:20 -0700)
committerFacebook GitHub Bot <facebook-github-bot@users.noreply.github.com>
Thu, 27 Oct 2022 16:20:29 +0000 (27 09:20 -0700)
tree3c9377f7cd6feea7e97d1320e622ede03f6365d4
parent34afedf71f995e2ec2296e2c398d4a7c4e0d4c0a
Handle self, static, super

Summary: In the shape-like dict analysis, handle constant accesses that go through `self`, `static`, and `parent`.

Reviewed By: madgen

Differential Revision: D40429969

fbshipit-source-id: e045c2e4657e15fb1d7c783d96ddd490d115f858
hphp/hack/src/shape_analysis/shape_analysis_walker.ml
hphp/hack/test/shape_analysis/solve_constraints/const_parent.php [moved from hphp/hack/test/shape_analysis/solve_constraints/const_parent_wip.php with 100% similarity]
hphp/hack/test/shape_analysis/solve_constraints/const_parent.php.exp [moved from hphp/hack/test/shape_analysis/solve_constraints/const_parent_wip.php.exp with 64% similarity]
hphp/hack/test/shape_analysis/solve_constraints/const_self.php [moved from hphp/hack/test/shape_analysis/solve_constraints/const_self_wip.php with 100% similarity]
hphp/hack/test/shape_analysis/solve_constraints/const_self.php.exp [moved from hphp/hack/test/shape_analysis/solve_constraints/const_self_wip.php.exp with 57% similarity]
hphp/hack/test/shape_analysis/solve_constraints/const_static.php [moved from hphp/hack/test/shape_analysis/solve_constraints/const_static_wip.php with 100% similarity]
hphp/hack/test/shape_analysis/solve_constraints/const_static.php.exp [moved from hphp/hack/test/shape_analysis/solve_constraints/const_static_wip.php.exp with 57% similarity]