blob: c3edceaf3bdc2981fd1ca30ef114e07563561ea1 (
plain)
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
|
--TEST--
Use of parent inside a class that has / has no parent (success cases)
--FILE--
<?php
// Legal: A2::parent == P2
class P2 {}
class A2 extends P2 {
public function method(parent $x) {}
}
class B2 extends A2 {
public function method(P2 $x) {}
}
// Legal: B3::parent == A3 is subclass of A3::parent == P3 in covariant position
class P3 {}
class A3 extends P3 {
public function method($x): parent {}
}
class B3 extends A3 {
public function method($x): parent {}
}
?>
===DONE===
--EXPECT--
===DONE===
|
