1 File
"trait_matching1.php", line 25, characters 13-18:
2 The
property `x` has the wrong type
(Typing
[4341])
3 File
"trait_matching1.php", line 25, characters 13-18:
5 File
"trait_matching1.php", line 13, characters 14-16:
7 File
"trait_matching1.php", line 25, characters 13-18:
9 File
"trait_matching1.php", line 25, characters 13-18:
10 The
property `x` has the wrong type
(Typing
[4341])
11 File
"trait_matching1.php", line 25, characters 13-18:
13 File
"trait_matching1.php", line 25, characters 13-18:
15 File
"trait_matching1.php", line 13, characters 13-16: