Constraints for function arguments

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

<?hh

function f(): void {
  $d = dict['a' => 42];
  $b = false;
  while ($b) {
    $d = dict['b' => 'h'];
  }
  $d['c'] = true;
  inspect($d);
}

function inspect(mixed $_): void {}