| commit | b0615441a1a60a6b2c3af09796ec617d3ab11902 | |
| author | Mistral Orhan Jean-Pierre Contrastin <mojpc2@fb.com> | |
| Wed, 16 Dec 2020 16:45:10 +0000 (16 08:45 -0800) | ||
| committer | Facebook GitHub Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 16 Dec 2020 16:48:43 +0000 (16 08:48 -0800) | ||
| tree | 9060945fe6b55d5910e75bbe2b9a3efab6cdf2ad | treesnapshot (tar.gz zip) |
| parent | b161ec1bcbe6f0b69dd34bef2c3ccfc3f0441452 | commitdiff |
Mutable collection assignment support
Summary:
Handle mutable collection assignment such as Vector, Map, Set, and KeyedContainer.
The treatment is identical to that of Hack arrays, but keys and values are governed by the lump of the class.
+28 in coverage
Reviewed By: mpu
Differential Revision: D25252136
fbshipit-source-id: f403a0e4425ab7d773551499be0fe8a5a498e1de
Summary:
Handle mutable collection assignment such as Vector, Map, Set, and KeyedContainer.
The treatment is identical to that of Hack arrays, but keys and values are governed by the lump of the class.
+28 in coverage
Reviewed By: mpu
Differential Revision: D25252136
fbshipit-source-id: f403a0e4425ab7d773551499be0fe8a5a498e1de
| hphp/hack/src/ifc/ifc.ml | diffblobblamehistory | |
| hphp/hack/test/ifc/check/mut_array_assign.php | [new file with mode: 0644] | blob |
| hphp/hack/test/ifc/check/mut_array_assign.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/ifc/check/mut_array_control_flow.php | [new file with mode: 0644] | blob |
| hphp/hack/test/ifc/check/mut_array_control_flow.php.exp | [new file with mode: 0644] | blob |