Check for void/noreturn in conditionals

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

<?hh

function f(mixed<int> $s): void {}