Check for void/noreturn in conditionals

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

<?hh

trait T {
  public abstract function __construct();
}

class A {
  final public function __construct() {}
}

class B extends A {
  use T;
}