New inference: improved error message for unresolved type

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

<?hh // strict

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

function test_method_call(): void {
  $foo = Foo::class;

  $foo |> $$::fooMeth(); // this is a legal call
  $foo |> $$::doesNotExist(); // ...and this one doesn't exist
}