| commit | 39a40067794f8b9da5485de5034394381ac665f9 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Wed, 31 Oct 2018 14:47:31 +0000 (31 07:47 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Wed, 31 Oct 2018 14:50:14 +0000 (31 07:50 -0700) | ||
| tree | c4cbcc37aa8a1c85f189fb278e1a1a2c2aad3d8a | treesnapshot (tar.gz zip) |
| parent | d44b8ea2f9f44b0fd09854fa3cd7abee8482b71d | commitdiff |
Reject concrete subtypes of AKdependent in simplify_subtype
Summary: Instead of deferring to the legacy subtyping and unification, reject subtypes of AKdependent early, in the subtype simplification logic.
Reviewed By: manzyuk
Differential Revision: D12838469
fbshipit-source-id: 358f90786c7d46a840b85078795b6793aec8f4fd
Summary: Instead of deferring to the legacy subtyping and unification, reject subtypes of AKdependent early, in the subtype simplification logic.
Reviewed By: manzyuk
Differential Revision: D12838469
fbshipit-source-id: 358f90786c7d46a840b85078795b6793aec8f4fd
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/lambda/lambda16.php.exp | diffblobblamehistory |