Handle condition types for intersections
commit298f944bec4de9bbccce063527b2fa38b32ee1ff
authorVladimir Matveev <vladima@fb.com>
Fri, 16 Aug 2019 07:05:20 +0000 (16 00:05 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 16 Aug 2019 07:07:53 +0000 (16 00:07 -0700)
treed38cb2f5a7fe2f0dd0347c2d4d5878828d5728b0
parent5e931f1beea84a609fbe71872a8f2101ee516d86
Handle condition types for intersections

Summary: see title. Subsequent diff will move this check to the rest of reactivity checks performed on TAST

Reviewed By: DavidSnider

Differential Revision: D16853945

fbshipit-source-id: 869bd5bf4f45b12c1910b8dadabf99625fb8cd68
hphp/hack/src/typing/typing_reactivity.ml
hphp/hack/test/typecheck/reactive/intersections_rx1.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/intersections_rx1.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/intersections_rx1.php.legacy_decl.exp [new file with mode: 0644]