Check for void/noreturn in conditionals

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

<?hh

interface Y<+T1, -T2> {}

class X<+T> {
  public function test((function(Y<int, T>): void) $f): void {
  }
}