--TEST-- Bug #74607 (Traits enforce different inheritance rules - return types) --FILE-- <?php abstract class L1{ abstract function m3($x); } trait L2t{ function m3($x): int{} } class L2 extends L1{ use L2t; } echo "DONE"; ?> --EXPECT-- DONE