Constraints for function arguments

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

<?hh

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

function inspect(mixed $_): void {}