Disallow ... without type in function typehints

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

function TakeFun((function(int): arraykey) $f): void {
  ($f)(3);
}
function Pass((function(arraykey): int) $g): void {
  TakeFun($g);
}
function DoIt(): void {
  Pass((arraykey $x) ==> 5);
}
/* HH_FIXME[1002] */
DoIt();