1--TEST--
2Bug GH-9285: PHP 8.2 readonly classes allow inheriting mutable properties from traits - error
3--FILE--
4<?php
5
6trait T {
7    public $prop;
8}
9
10readonly class C {
11    use T;
12}
13
14?>
15--EXPECTF--
16Fatal error: Readonly class C cannot use trait with a non-readonly property T::$prop in %s on line %d
17