| commit | 156042d1ea6e52fe24555cf4f38c11359dc1b609 | |
| author | Catherine Gasnier <catg@fb.com> | |
| Wed, 13 Nov 2019 14:45:26 +0000 (13 06:45 -0800) | ||
| committer | Facebook Github Bot <facebook-github-bot@users.noreply.github.com> | |
| Wed, 13 Nov 2019 14:48:26 +0000 (13 06:48 -0800) | ||
| tree | 6ab6d45600a4ac822d48ebce019b6ea3bada0047 | treesnapshot (tar.gz zip) |
| parent | 47a158c2244b38fa998f9189f9227586c610844b | commitdiff |
do expand_type instead of fully_expand in typing_union
Summary: This is necessary to maintain the invariant that unions containing unsolved type variables are wrapped in a type variable.
Reviewed By: andrewjkennedy
Differential Revision: D18449880
fbshipit-source-id: d224ed30cb7518fd85fbc14612ec379d07ae79f3
Summary: This is necessary to maintain the invariant that unions containing unsolved type variables are wrapped in a type variable.
Reviewed By: andrewjkennedy
Differential Revision: D18449880
fbshipit-source-id: d224ed30cb7518fd85fbc14612ec379d07ae79f3
| hphp/hack/src/typing/typing_union.ml | diffblobblamehistory |