New inference: improved error message for unresolved type

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

<?hh // strict
// Copyright 2004-present Facebook. All Rights Reserved.

function coerce<T>(
  TypeStructure<T> $ts,
  mixed $value,
): T {
  //UNSAFE
}

function getNullableParamOfType<T>(
  TypeStructure<T> $ts,
  mixed $value
): ?T {
  if ($value === null) {
    return null;
  }
  return coerce($ts, $value);
}