| commit | 564d8bbfd88c1cde44d203701fa95b62b9d54260 | |
| author | Vassil Mladenov <vmladenov@fb.com> | |
| Mon, 19 Aug 2019 20:18:43 +0000 (19 13:18 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Mon, 19 Aug 2019 20:20:37 +0000 (19 13:20 -0700) | ||
| tree | fea69f8bbf39177fa33c52602ad909a65229d7a5 | treesnapshot (tar.gz zip) |
| parent | 2a3080c5d6aae7f5e2f02ccf11edb0f0f521a9bd | commitdiff |
Don't sort type variables in list destructuring subtyping
Summary: context: comments on D16846102
Differential Revision: D16898176
fbshipit-source-id: 299bf47b5da0c2b2a6466f2b08dc6345ea24e974
Summary: context: comments on D16846102
Differential Revision: D16898176
fbshipit-source-id: 299bf47b5da0c2b2a6466f2b08dc6345ea24e974
| hphp/hack/src/typing/typing_defs.ml | diffblobblamehistory |