Untyped variadic function types should not be permitted in strict mode

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

<?hh // strict

class Foo {
  <<__Rx>>
  public function __construct(public int $value) {}
}

<<__Rx>>
function foo(<<__Mutable>>Foo $x): void {
  $x->value = 5;
}

<<__Rx>>
function test(): void {
  $x = new Foo(7);
  foo($x); // no errors
  foo(new Foo(8)); // no problemo
  freeze($x);
  foo($x); // error
}