| commit | af334971ffe97287e9d0b4dd76ae12d42bc9dbec | |
| author | Vladimir Matveev <vladima@fb.com> | |
| Sat, 4 May 2019 03:01:32 +0000 (3 20:01 -0700) | ||
| committer | Hhvm Bot <hhvm-bot@users.noreply.github.com> | |
| Sat, 4 May 2019 03:05:29 +0000 (3 20:05 -0700) | ||
| tree | 972ca3861df8c2afa1c107ba51791cc4181e8e05 | treesnapshot (tar.gz zip) |
| parent | 9c8d295fba4e6606aa3b77103b1efce274182711 | commitdiff |
Lift conditional type to nullable if parameter type is nullable
Summary: as in title
Reviewed By: DavidSnider
Differential Revision: D15169877
fbshipit-source-id: 5eac64341083f26f872b8577614b6edee4733b5d
Summary: as in title
Reviewed By: DavidSnider
Differential Revision: D15169877
fbshipit-source-id: 5eac64341083f26f872b8577614b6edee4733b5d
| hphp/hack/src/typing/typing_reactivity.ml | diffblobblamehistory | |
| hphp/hack/src/typing/typing_subtype.ml | diffblobblamehistory | |
| hphp/hack/test/typecheck/reactive/null_and_cond_rx1.php | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/reactive/null_and_cond_rx1.php.exp | [new file with mode: 0644] | blob |
| hphp/hack/test/typecheck/reactive/null_and_cond_rx1.php.legacy_decl.exp | [new file with mode: 0644] | blob |