xref: /PHP-7.3/Zend/tests/bug43200.phpt (revision b746e698) 
1--TEST--
2Bug #43200 (Interface implementation / inheritance not possible in abstract classes)
3--FILE--
4<?php
5
6interface a {
7	function foo();
8	function bar();
9}
10interface b {
11	function foo();
12}
13
14abstract class c {
15	function bar() { }
16}
17
18class x extends c implements a, b {
19	function foo() { }
20}
21
22ReflectionClass::export('x');
23
24?>
25--EXPECTF--
26Class [ <user> class x extends c implements a, b ] {
27  @@ %s 15-17
28
29  - Constants [0] {
30  }
31
32  - Static properties [0] {
33  }
34
35  - Static methods [0] {
36  }
37
38  - Properties [0] {
39  }
40
41  - Methods [2] {
42    Method [ <user, prototype b> public method foo ] {
43      @@ %s 16 - 16
44    }
45
46    Method [ <user, inherits c, prototype a> public method bar ] {
47      @@ %s 12 - 12
48    }
49  }
50}
51