Check for void/noreturn in conditionals

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

trait T {
  abstract private function f(): int;
}

class C {
  use T;

  public function g(): void {
    $this->f();
  }

  private function f(): string {
    return '';
  }
}