New inference: improved error message for unresolved type

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

<?hh // partial

class Foo {
  public static function f(): void {}
}

type Bar = Foo;

function f(): (function(): void) {
  return class_meth('Bar', 'f');
}