1--TEST--
2Readonly match of imported trait properties (valid)
3--FILE--
4<?php
5
6trait T1 {
7    public readonly int $prop;
8}
9trait T2 {
10    public readonly int $prop;
11}
12class C {
13    use T1, T2;
14}
15
16?>
17===DONE===
18--EXPECT--
19===DONE===
20