--TEST-- Mutually incompatible methods from traits are fine as long as the final method is compatible --FILE-- <?php trait T1 { abstract public function test(); } trait T2 { abstract public function test(): int; } class C { use T1, T2; public function test(): int {} } ?> ===DONE=== --EXPECT-- ===DONE===
