Migrate rx/pure tests to strict mode, fix broken tests

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

<?hh

class C {}

<<__Rx>>
function f(): void {
    $a = \HH\Rx\mutable(new C());
    // OK
    $b = g(\HH\Rx\move($a));
    // ERROR
    $c = g(\HH\Rx\move($a));
}

<<__Rx, __MutableReturn>>
function g(<<__OwnedMutable>> C $c): C {
    return $c;
}