Fix nullable field type checking for Shapes::idx

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

<?hh // strict

// Error: should be ?int
function shape_idx_optional_field_with_nullable_default_return(
  shape(?'x' => int) $s,
  ?int $default,
): int {
  return Shapes::idx($s, 'x', $default);
}