hphp/hack/test/typecheck/strict_call_tany3.php

   1 //// partial.php
   2 <?hh // partial
   3
   4 function any() {}
   5
   6 //// strict.php
   7 <?hh // strict
   8
   9 function nullthrows<T>(?T $x): T {
  10   if ($x !== null) {
  11     return $x;
  12   }
  13
  14   invariant_violation('lol');
  15 }
  16
  17 async function f(): Awaitable<void> {
  18   $a = await any();
  19   $n = nullthrows($a);
  20   // That this works at all in strict mode is probably a bug, but just making
  21   // sure it doesn't give an empty position for now. (Until we remove the
  22   // restriction on calling methods on Tany in strict, of course.)
  23   $n->f();
  24 }