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