1--TEST--
2Use of parent inside a class that has / has no parent (success cases)
3--FILE--
4<?php
5
6// Legal: A2::parent == P2
7class P2 {}
8class A2 extends P2 {
9    public function method(parent $x) {}
10}
11class B2 extends A2 {
12    public function method(P2 $x) {}
13}
14
15// Legal: B3::parent == A3 is subclass of A3::parent == P3 in covariant position
16class P3 {}
17class A3 extends P3 {
18    public function method($x): parent {}
19}
20class B3 extends A3 {
21    public function method($x): parent {}
22}
23
24?>
25===DONE===
26--EXPECT--
27===DONE===
28