Check for void/noreturn in conditionals

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

<?hh

class X<-T> {
  public ?T $x;
}