Solving inter-procedural constraints in shape-like-dict

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

<?hh

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

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