New inference: improved error message for unresolved type

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

<?hh // partial

class MyWrapper<T> {}

function take_shape(MyWrapper<shape('x' => int)> $x): void {}

function test(MyWrapper<shape(?'x' => int)> $x): void {
  take_shape($x);
}