| commit | e3daa15dbdb4a7ca4b1bc596846074b21d29fe38 | |
| author | Max Heiber <mheiber@meta.com> | |
| Fri, 28 Oct 2022 11:58:45 +0000 (28 04:58 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Fri, 28 Oct 2022 11:58:45 +0000 (28 04:58 -0700) | ||
| tree | fc70500712f504d3dd573752cf3c4b7c9bfd8e0d | treesnapshot (tar.gz zip) |
| parent | f9b2dbb8212090ad1d24550b1a027e16c8e53933 | commitdiff |
add wip tests for the interaction of traits and constants
Summary:
Show gaps in shape-like-dict analysis w.r.t. traits and constantss.
Nonexhuastive demonstration of the limitations.
T136213776 (low-priority) is to handle traits
Reviewed By: madgen
Differential Revision: D40714154
fbshipit-source-id: 0185b4a6da95f86f3cbef808510e79eaa622888b
Summary:
Show gaps in shape-like-dict analysis w.r.t. traits and constantss.
Nonexhuastive demonstration of the limitations.
T136213776 (low-priority) is to handle traits
Reviewed By: madgen
Differential Revision: D40714154
fbshipit-source-id: 0185b4a6da95f86f3cbef808510e79eaa622888b
| hphp/hack/test/shape_analysis/solve_constraints/trait_const_1_wip.php | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/solve_constraints/trait_const_1_wip.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/solve_constraints/trait_const_2_wip.php | [new file with mode: 0644] | blob |
| hphp/hack/test/shape_analysis/solve_constraints/trait_const_2_wip.php.exp | [new file with mode: 0644] | blob |