Check for void/noreturn in conditionals

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

<?hh

const X = 10;
const Y = -(X + (10 - 2*X));