| commit | a872b901795eaaf022df81d8d0fcea84a397ce1c | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Fri, 22 Jun 2018 14:07:46 +0000 (22 07:07 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 22 Jun 2018 14:12:21 +0000 (22 07:12 -0700) | ||
| tree | 5bf3509aadce9e5dace3bcc1fd20c356a90516a0 | treesnapshot (tar.gz zip) |
| parent | 3fb585e59b7850f2e6387c8acbf982cdd68b62c9 | commitdiff |
Legacy vec-like arrays are covariant
Summary: We seem to be missing the rule that `array<t> <: array<u>` when `t <: u`.
Reviewed By: andrewjkennedy
Differential Revision: D8588441
fbshipit-source-id: 62e4c8abc96048945a0f55382338a037f82f3ffa
Summary: We seem to be missing the rule that `array<t> <: array<u>` when `t <: u`.
Reviewed By: andrewjkennedy
Differential Revision: D8588441
fbshipit-source-id: 62e4c8abc96048945a0f55382338a037f82f3ffa
| hphp/hack/doc/type_system/hack_typing.ott | diffblobblamehistory |