naive "implements dynamic" soundness checks

[hiphop-php.git] / hphp / hack / test / typecheck / coeffects / rx_example_provisional.php

<?hh

<<file: __EnableUnstableFeatures('coeffects_provisional')>>
function f()@{ rx }: void {
  f();
  g();
}
function g()@{ defaults }: void {
  f();
  g();
}