Check for void/noreturn in conditionals

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

<?hh // strict

interface I {}

trait MyTrait {
  public function __construct() {}

  public function equals(I $other): this {
    return $other instanceof $this;
  }
}