New inference: improved error message for unresolved type

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

<?hh // partial

function foo(): int {
  return 1;
}

function bar(int $a): int {
  return $a + 1;
}

function piped(): int {
  return foo() |> bar($$);
}