xref: /PHP-7.2/Zend/tests/bug71414.phpt (revision 32df2210) 
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--EXPECT--
25ok
26