| commit | 391136c80efc4b811fabbadd2543f43d7a98a272 | |
| author | Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com> | |
| Wed, 27 Apr 2022 17:54:01 +0000 (27 10:54 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 27 Apr 2022 17:54:01 +0000 (27 10:54 -0700) | ||
| tree | 5e407acd03d3d103d3efaa8371f2d429a48598b2 | treesnapshot (tar.gz zip) |
| parent | e77e23b8d9bc4be1d0b62c65f907ba8b4403c63b | commitdiff |
Support is and as
Summary: Type refinement using `is` and `as` are orthogonal to the shape analysis, so the implementation largely ignores.
Reviewed By: enetsee
Differential Revision: D35900202
fbshipit-source-id: 7e69159443a934b6637d6fe124f3ca5a9de548eb
Summary: Type refinement using `is` and `as` are orthogonal to the shape analysis, so the implementation largely ignores.
Reviewed By: enetsee
Differential Revision: D35900202
fbshipit-source-id: 7e69159443a934b6637d6fe124f3ca5a9de548eb
| hphp/hack/src/shape_analysis/shape_analysis_walker.ml | diffblobblamehistory | |
| hphp/hack/test/shape_analysis/simplify_constraints/as.php | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/simplify_constraints/as.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/simplify_constraints/is.php | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/simplify_constraints/is.php.exp | [new file with mode: 0644] | blob |