| commit | c6b3828171fb8c77890db0b1e66f5b1a119577e9 | |
| author | Andrew Kennedy <akenn@fb.com> | |
| Fri, 20 Jul 2018 14:44:44 +0000 (20 07:44 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Fri, 20 Jul 2018 15:04:30 +0000 (20 08:04 -0700) | ||
| tree | da8a6f4961dfbfb69d9c0f8bc9189a406bfb70f7 | treesnapshot (tar.gz zip) |
| parent | 10ece4131b799d357ae99cd16df699aabca25adb | commitdiff |
Fix type intersection bug involving nullables and nonnull
Summary:
manzyuk points out that the intersection function defined in diff D8874490 does not deal
correctly with `Toption t` if `t` contains null. Here's a fix.
Reviewed By: manzyuk
Differential Revision: D8932382
fbshipit-source-id: 2e3fe2a95e58f1be3d0ce328f1d43806bbdd891d
Summary:
manzyuk points out that the intersection function defined in diff D8874490 does not deal
correctly with `Toption t` if `t` contains null. Here's a fix.
Reviewed By: manzyuk
Differential Revision: D8932382
fbshipit-source-id: 2e3fe2a95e58f1be3d0ce328f1d43806bbdd891d
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory |