Typing changes for reactive functions

[hiphop-php.git] / hphp / hack / test / typecheck / reactive / reactive_calls2.php

<?hh // strict

<<__Rx>>
function returnsReactive(): Rx<(function(): void)> {
  // UNSAFE
}

<<__Rx>>
function foo(): void {
  // returnsReactive is reactive
  $x = returnsReactive();
  // thing that returnsReactive returns is also reactive, no errors
  $x();
}