Constraints for function arguments

[hiphop-php.git] / hphp / hack / test / shape_analysis / dump_constraints / argument.php

<?hh

function f(): void {
  $d = dict[];
  inspect($d);
}

function inspect(mixed $_): void {}