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