Readonly in emitter flag

[hiphop-php.git] / hphp / test / slow / readonly / keyvalcollection.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 = Map {1 => $ro, 2 => $mut};
  $p[2]->i = 4; // error, $p[2] is readonly because $p is readonly
}