hphp/hack/test/typecheck/fun_contra.php

   1 <?hh // strict
   2 // Copyright 2004-present Facebook. All Rights Reserved.
   3
   4 function TakeFun((function(int): arraykey) $f): void {
   5   ($f)(3);
   6 }
   7 function Pass((function(arraykey): int) $g): void {
   8   TakeFun($g);
   9 }
  10 function DoIt(): void {
  11   Pass((arraykey $x) ==> 5);
  12 }
  13
  14 function main(): void {
  15   DoIt();
  16 }