1--TEST--
2Readonly mismatch of imported trait properties
3--FILE--
4<?php
5
6trait T1 {
7    public int $prop;
8}
9trait T2 {
10    public readonly int $prop;
11}
12class C {
13    use T1, T2;
14}
15
16?>
17--EXPECTF--
18Fatal error: T1 and T2 define the same property ($prop) in the composition of C. However, the definition differs and is considered incompatible. Class was composed in %s on line %d
19