1--TEST--
2Mutually incompatible methods from traits are fine as long as the final method is compatible
3--FILE--
4<?php
5
6trait T1 {
7    abstract public function test();
8}
9trait T2 {
10    abstract public function test(): int;
11}
12
13class C {
14    use T1, T2;
15
16    public function test(): int {}
17}
18
19?>
20===DONE===
21--EXPECT--
22===DONE===
23