Pass $this/static type as receiver when checking reactivity of parent calls
commit88d12c2bd7a640633692c4ac3312b4159a64a234
authorVladimir Matveev <vladima@fb.com>
Fri, 3 Aug 2018 15:22:19 +0000 (3 08:22 -0700)
committerHhvm Bot <hhvm-bot@users.noreply.github.com>
Fri, 3 Aug 2018 15:27:11 +0000 (3 08:27 -0700)
tree75f33e9b53bd182251acc753f11a3adcec570dc6
parentac59844e0ebb0f8ae3a633675a8dc88ced3f5f54
Pass $this/static type as receiver when checking reactivity of parent calls

Summary: as in title, this enables cases when class that implements some interface calls conditionally reactive methods from the based class via parent::

Reviewed By: DavidSnider

Differential Revision: D9146436

fbshipit-source-id: 2777f7a06c6890b129efe71811d569bc4f82c028
hphp/hack/src/typing/typing.ml
hphp/hack/test/typecheck/reactive/conditionally_reactive_parent1.php [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/conditionally_reactive_parent1.php.exp [new file with mode: 0644]
hphp/hack/test/typecheck/reactive/static_rx_if_implements8.php.exp
hphp/hack/test/typecheck/reactive/static_rx_if_implements8_1.php.exp
hphp/hack/test/typecheck/reactive/static_rx_if_implements8_2.php.exp