Check for void/noreturn in conditionals

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

<?hh

type Metadata = Map<int, int>;
type HandlerTable = Map<int, Metadata>;

class Router {
  protected static Vector<Pair<HandlerTable, int>> $routes = Vector {};

  public function f(): Pair<HandlerTable, int> {
    $r = self::$routes[1];
    return $r;
  }
}