| commit | 77ea37d806e5b5c5cae6a9fa44130dbf9530a69d | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Thu, 7 Jun 2018 13:56:52 +0000 (7 06:56 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 7 Jun 2018 14:24:45 +0000 (7 07:24 -0700) | ||
| tree | 84bb25801515c62d31418593216e77031ec47bc2 | treesnapshot (tar.gz zip) |
| parent | 28760c5fce187bec2dcdcb29113b18e338400f1d | commitdiff |
Remove superfluous calls to unify
Summary: In subtyping we sometimes call `unify` just to force an error. Let's not do that, in order to see what points we actually make use of unification.
Reviewed By: manzyuk
Differential Revision: D8311716
fbshipit-source-id: 43d0cfe01a241cf8ed49c1a07ec1924115129351
Summary: In subtyping we sometimes call `unify` just to force an error. Let's not do that, in order to see what points we actually make use of unification.
Reviewed By: manzyuk
Differential Revision: D8311716
fbshipit-source-id: 43d0cfe01a241cf8ed49c1a07ec1924115129351
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/constraints/bad_contra_constraint.php.exp | diffblobblamehistory |