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.exp

File "shape_unification_disallows_providing_optional_field_where_required_field_is_consumed.php", line 8, characters 14-15:
Invalid argument (Typing[4163])
File "shape_unification_disallows_providing_optional_field_where_required_field_is_consumed.php", line 7, characters 25-42:
The field 'x' is optional
File "shape_unification_disallows_providing_optional_field_where_required_field_is_consumed.php", line 5, characters 31-47:
The field 'x' is defined as required