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
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
|
--TEST--
Magic Methods inheritance rules
--FILE--
<?php
class ValidMagicMethods {
public function __call(string $name, array $arguments): mixed {}
public static function __callStatic(string $name, array $arguments): mixed {}
public function __clone(): void {}
public function __debugInfo(): ?array {}
public function __get(string $name): mixed {}
public function __invoke(mixed $arguments): mixed {}
public function __isset(string $name): bool {}
public function __serialize(): array {}
public function __set(string $name, mixed $value): void {}
public static function __set_state(array $properties): object {}
public function __sleep(): array {}
public function __toString(): string {}
public function __unserialize(array $data): void {}
public function __unset(string $name): void {}
public function __wakeup(): void {}
}
class NarrowedReturnType extends ValidMagicMethods {
public function __call(string $name, array $arguments): string|float|null {}
public static function __callStatic(string $name, array $arguments): ?array {}
public function __debugInfo(): array {}
public function __get(string $name): int|string {}
public function __invoke(mixed $arguments): object {}
}
class WidenedArgumentType extends NarrowedReturnType {
public function __call(string|array $name, array|string $arguments): string|float|null {}
public static function __callStatic(string|object $name, array|object $arguments): ?array {}
public function __get(string|array $name): int|string {}
public function __isset(string|bool $name): bool {}
public function __set(string|bool|float $name, mixed $value): void {}
public static function __set_state(string|array $properties): object {}
public function __unserialize(array|string $data): void {}
public function __unset(string|array $name): void {}
}
echo 'No problems!';
?>
--EXPECT--
No problems!
|
