Readonly in emitter flag

[hiphop-php.git] / hphp / test / slow / readonly / darray.php

<?hh //strict

<<file: __EnableUnstableFeatures('readonly')>>

class P {
  public function __construct(public int $i) { }
}

<<__EntryPoint>>
function main() {
  $ro = readonly new P(1);
  $mut = new P(1);
  $p = darray[1 => $ro, 2 => $mut];
  // error, $p[2] is readonly because $p is readonly
  $p[2]->i = 4;
}