hphp/hack/test/typecheck/noreturn_typehint_basic.php

   1 <?hh // strict
   2
   3 function correct(): noreturn {
   4   throw new Exception('not returning here');
   5 }
   6
   7 async function meh(): Awaitable<int> {
   8   // UNSAFE
   9 }
  10
  11 async function generic(): Awaitable<noreturn> {
  12   await meh();
  13   throw new Exception('not returning here');
  14 }