New inference: improved error message for unresolved type

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

<?hh // partial

function f<T as int>(T $x): ?int {
  return $x;
}