Support is and as

[hiphop-php.git] / hphp / hack / test / decl / rewritten_tparams.php

<?hh

final class P {
  const ctx C = [];
}

function f(
  (function ()[_]: void) $f,
  P $v
)[ctx $f, $v::C]: void {
  print "hi";
}

function g(P $v)[$v::C]: int {
  return $v;
}

function h(
  ?(function ()[_]: void) $f,
  ?P $v
)[ctx $f, $v::C]: void {
  print "hi";
}