1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
|
--TEST--
#[Override] attribute in trait does not check for parent class implementations
--FILE--
<?php
class A {
public function foo(): void {}
}
interface I {
public function foo(): void;
}
trait T {
#[\Override]
public function foo(): void {
echo 'foo';
}
}
// Works fine
class B implements I {
use T;
}
// Works fine ("copied and pasted into the target class")
class C extends A {
#[\Override]
public function foo(): void {
echo 'foo';
}
}
// Does not work
class D extends A {
use T;
}
echo "Done";
?>
--EXPECT--
Done
|
