1--TEST--
2JIT readonly modification post-dec
3--INI--
4opcache.enable=1
5opcache.enable_cli=1
6opcache.jit_buffer_size=1M
7--FILE--
8<?php
9class Foo {
10    public readonly int $bar;
11
12    public function __construct() {
13        $this->bar = 1;
14        $this->bar--;
15    }
16}
17
18new Foo();
19?>
20--EXPECTF--
21Fatal error: Uncaught Error: Cannot modify readonly property Foo::$bar in %s:%d
22Stack trace:
23#0 %s(%d): Foo->__construct()
24#1 {main}
25  thrown in %s on line %d
26