| commit | 93e78c15c7ec9f610fcf3639411800a996d272c1 | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Mon, 3 Dec 2018 13:12:43 +0000 (3 05:12 -0800) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Mon, 3 Dec 2018 13:15:15 +0000 (3 05:15 -0800) | ||
| tree | a221ced713d0c3596225ed20267036a5386c6375 | treesnapshot (tar.gz zip) |
| parent | b70e0b85a987a81b72c2ece221b3a64f74e58212 | commitdiff |
Don't create empty unresolved types for wildcard type hints under the new inference flag when localizing function types
Summary: What the title says. We shouldn't bind fresh variables to `Tunresolved []` under the `--new-inference` flag, and I've found a place where we are still doing that.
Reviewed By: andrewjkennedy
Differential Revision: D13255079
fbshipit-source-id: 85be975e5efcc154e7b244baa6679619766fa2d6
Summary: What the title says. We shouldn't bind fresh variables to `Tunresolved []` under the `--new-inference` flag, and I've found a place where we are still doing that.
Reviewed By: andrewjkennedy
Differential Revision: D13255079
fbshipit-source-id: 85be975e5efcc154e7b244baa6679619766fa2d6
| hphp/hack/src/typing/typing.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_phase.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_utils.ml | diffblobblamehistory |