| commit | d257d3c1eedb3f3f938645c103186d7a29ec3c74 | |
| author | Francesco Zappa Nardelli <fzn@fb.com> | |
| Wed, 15 Jun 2022 19:08:16 +0000 (15 12:08 -0700) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 15 Jun 2022 19:08:16 +0000 (15 12:08 -0700) | ||
| tree | 4fd60801f12fe4e593d2c8b3b33d08e763561d04 | treesnapshot (tar.gz zip) |
| parent | 83cfee3b0fcd84a91bbbe3dedd9957f90f06b08e | commitdiff |
allow like types to flow into enforceable static properties
Summary: This diff changes property assignment checking to allow a `~t` to be written to a _static_ property with enforceable type `t` inside classes labelled `<<__SupportDynamicType>>`.
Reviewed By: andrewjkennedy
Differential Revision: D37176154
fbshipit-source-id: eaa81ac905c61f9f4651f47d1f8427f88588fbc7
Summary: This diff changes property assignment checking to allow a `~t` to be written to a _static_ property with enforceable type `t` inside classes labelled `<<__SupportDynamicType>>`.
Reviewed By: andrewjkennedy
Differential Revision: D37176154
fbshipit-source-id: eaa81ac905c61f9f4651f47d1f8427f88588fbc7
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/test/sound_dynamic/typing/enforceable_static_property_01.good.php | [new file with mode: 0644] | blob |
| hphp/hack/test/sound_dynamic/typing/enforceable_static_property_01.good.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/sound_dynamic/typing/nonenforceable_static_property_01.bad.php | [new file with mode: 0644] | blob |
| hphp/hack/test/sound_dynamic/typing/nonenforceable_static_property_01.bad.php.exp | [new file with mode: 0644] | blob |