1--TEST--
2Important properties with different types from traits
3--FILE--
4<?php
5
6trait T1 {
7    public int $prop;
8}
9trait T2 {
10    public string $prop;
11}
12class C {
13    use T1, T2;
14}
15?>
16--EXPECTF--
17Fatal 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
18