Allow defaults to call policied

[hiphop-php.git] / hphp / test / slow / rx / body / prop_write_on_return_value_incdec.php

<?hh

function returns_object()[rx] {
  return new stdClass();
}

<<__EntryPoint>>
function bad()[rx] {
  returns_object()->q++;
}