| commit | 07de7c2e9929239e5a145c351fce23dfead61e56 | |
| author | Sasha Manzyuk <manzyuk@fb.com> | |
| Tue, 30 Oct 2018 15:18:43 +0000 (30 08:18 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Tue, 30 Oct 2018 15:21:08 +0000 (30 08:21 -0700) | ||
| tree | 11aaa08d68896c1d36f358144003c79b149c5085 | treesnapshot (tar.gz zip) |
| parent | c30153ed240047d574610baae9e1bf51c430d8e9 | commitdiff |
Add more missing cases to simplify_subtype
Summary: A newtype/enum cannot have subtypes other than itself, which means that subtyping checks of concrete types against newtypes/enums should result in `invalid ()`.
Reviewed By: andrewjkennedy
Differential Revision: D10867402
fbshipit-source-id: 27216ba562924f202ec5fae8c18f82f132ee49e1
Summary: A newtype/enum cannot have subtypes other than itself, which means that subtyping checks of concrete types against newtypes/enums should result in `invalid ()`.
Reviewed By: andrewjkennedy
Differential Revision: D10867402
fbshipit-source-id: 27216ba562924f202ec5fae8c18f82f132ee49e1
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |