Check for void/noreturn in conditionals

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

<?hh // strict
class Contra<-T> {
  public static function foo(int $v): ?T {
    return null;
  }
}