--TEST--
Readonly property clone indirect variation for JIT
--FILE--
<?php

trait CloneSetOnceTrait {
    public function __clone() {
        $this->prop[] = 1;
    }
}

trait CloneSetTwiceTrait {
    public function __clone() {
        $this->prop[] = 1;
        $this->prop[] = 2;
    }
}

class TestSetOnce {
    use CloneSetOnceTrait;
    public readonly array $prop;
    public function __construct() {
        $this->prop = [];
    }
}

class TestSetTwice {
    use CloneSetTwiceTrait;
    public readonly array $prop;
    public function __construct() {
        $this->prop = [];
    }
}

try {
    var_dump(clone (new TestSetOnce()));
} catch (Error $e) {
    echo $e->getMessage(), "\n";
}

try {
    var_dump(clone (new TestSetOnce()));
} catch (Error $e) {
    echo $e->getMessage(), "\n";
}

try {
    var_dump(clone (new TestSetTwice()));
} catch (Error $e) {
    echo $e->getMessage(), "\n";
}

try {
    var_dump(clone (new TestSetTwice()));
} catch (Error $e) {
    echo $e->getMessage(), "\n";
}

?>
--EXPECT--
Cannot indirectly modify readonly property TestSetOnce::$prop
Cannot indirectly modify readonly property TestSetOnce::$prop
Cannot indirectly modify readonly property TestSetTwice::$prop
Cannot indirectly modify readonly property TestSetTwice::$prop