New inference: improved error message for unresolved type

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

<?hh // strict

function test(): void {
  $s = shape('x' => 4, 'y' => 'aaa');
  Shapes::removeKey($s, 'x'); // error for safe-pass-by-ref
  $s['y']; // no error
}