Error on self::class on non final classes

[hiphop-php.git] / hphp / hack / test / typecheck / shape_modified7.php

<?hh // partial

type s = shape('x' => ?int);

function test(bool $b, s $s): int {

  if ($b) {
    $x = 5;
  } else {
    $x = 4;
  }

  if ($b) {
    $s['x'] = $x;
  }

  return $x;
}