Check for void/noreturn in conditionals

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

File "throw_non_exception.php", line 6, characters 9-26:
Invalid exception (Typing[4110])
File "throw_non_exception.php", line 6, characters 9-26:
This is an object of type Exception because it is used as an exception
File "throw_non_exception.php", line 6, characters 9-26:
It is incompatible with an object of type NonException