Constraints for function arguments

[hiphop-php.git] / hphp / hack / test / shape_analysis / simplify_constraints / parameter3.php

<?hh

function f(dict<string, int> $d): void {
  $d = dict[];
  $d['k'] = 42;
  inspect($d);
}

function inspect(mixed $_): void {}