Check for void/noreturn in conditionals

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

<?hh // strict

async function f1(Awaitable<int> $a): Awaitable<void> {
  $x = (await $a) + 1;
}