bug71414.phpt 377 B

1234567891011121314151617181920212223242526
  1. --TEST--
  2. Bug #71414 (Interface method override inherited method and implemented in a trait causes fatal error)
  3. --FILE--
  4. <?php
  5. interface InterfaceY {
  6. public function z(): string;
  7. }
  8. trait TraitY {
  9. public function z(): string {
  10. }
  11. }
  12. class X {
  13. public function z() {
  14. }
  15. }
  16. class Y extends X implements InterfaceY {
  17. use TraitY;
  18. }
  19. echo "ok";
  20. ?>
  21. --EXPECT--
  22. ok