Solving inter-procedural constraints in shape-like-dict

[hiphop-php.git] / hphp / hack / test / shape_analysis / close_constraints / call_assign_2.php

<?hh

function f(): void {
  $d = dict['a' => 42];
  g($d);
  inspect($d);
}

function g(dict<string,mixed> $d): void {
  $d['b'] = true;
}