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
|
<?php
// Requires X, delay to runtime.
// TODO: It is not actually required, because we don't need X to check inheritance in this case.
class A extends Z {
public function method(X $a) {}
}
class B extends Z {
public function method($a) : X {}
}
// Works.
class C extends Z {
public function method($a): self {}
public function method2($a): C {}
public function method3($a): object {}
public function method4(D $a) {}
}
class D extends C {
public function method($a): self {}
public function method2($a): D {}
public function method3($a): stdClass {}
public function method4(C $a) {}
}
// Works.
interface I {}
interface J extends I {}
class E {
public I|J $prop;
public function method($a): I {}
}
class F extends E {
public J|I $prop;
public function method($a): J {}
}
// Requires K & L, delay to runtime.
class G {
public function method($a): K {}
}
class H extends G {
public function method($a): L {}
}
// Early-binding preventer.
class Z {
public function method(X $a) {}
}
|
