| commit | b41d685f57a9cd96921d2f6b3c9c6b8aabf90133 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Thu, 26 Jul 2018 09:12:39 +0000 (26 02:12 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Thu, 26 Jul 2018 09:27:20 +0000 (26 02:27 -0700) | ||
| tree | ab9c4232ceabd3f7d1c86b634a05f07f4b1e708e | treesnapshot (tar.gz zip) |
| parent | 6c70d7a0bbefb8989f187d6161df11769b3d424e | commitdiff |
Move more code from unification to subtyping
Summary:
Move code that makes equivalent a dependent type with
its class bound, if the class is final and non-contravariant.
Also a couple of other cases (enums as classes, the object type).
Reviewed By: manzyuk
Differential Revision: D8982651
fbshipit-source-id: 8b590a983c93e63cc2db6caffc3b6dc2ad4a12c7
Summary:
Move code that makes equivalent a dependent type with
its class bound, if the class is final and non-contravariant.
Also a couple of other cases (enums as classes, the object type).
Reviewed By: manzyuk
Differential Revision: D8982651
fbshipit-source-id: 8b590a983c93e63cc2db6caffc3b6dc2ad4a12c7
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |