hphp/hack/test/typecheck/reactive/reactive_calls4.php

   1 <?hh // strict
   2
   3 <<__Rx>>
   4 /* HH_FIXME[4110] */
   5 function returnsReactive(): Rx<(function(): void)> {
   6 }
   7
   8 <<__Rx>>
   9 /* HH_FIXME[4110] */
  10 function returnsNormal(): (function(): void) {
  11 }
  12
  13 <<__Rx>>
  14 function takesReactive(Rx<(function(): void)> $x): void {}
  15
  16 <<__Rx>>
  17 function takesNormal((function(): void) $x): void {}
  18 <<__Rx>>
  19 function foo(): void {
  20   // should be fine
  21   takesReactive(returnsReactive());
  22   // also okay
  23   takesNormal(returnsReactive());
  24   takesNormal(returnsNormal());
  25   // not okay
  26   takesReactive(returnsNormal());
  27
  28 }