hphp/hack/test/typecheck/coeffects/function_provisional.php

   1 <?hh
   2
   3 <<file: __EnableUnstableFeatures('coeffects_provisional')>>
   4
   5 function f()@{ int }: void {
   6   f(); // ok
   7   g(); // ok
   8 }
   9
  10 function g()@{ arraykey }: void {
  11   f(); // error, arraykey </: int
  12   g();
  13 }
  14
  15 function g_unsafe()@{ arraykey + int }: void {
  16   f(); // unsafely ok, (arraykey&int) <: int
  17   g();
  18 }