1--TEST--
2Use of parent inside a class that has / has no parent (failure case 2)
3--FILE--
4<?php
5
6// Illegal: B4::parent == A4 is subclass of A4::parent == P4 in contravariant position
7class P4 {}
8class A4 extends P4 {
9    public function method(parent $x) {}
10}
11class B4 extends A4 {
12    public function method(parent $x) {}
13}
14
15?>
16--EXPECTF--
17Fatal error: Declaration of B4::method(A4 $x) must be compatible with A4::method(P4 $x) in %s on line %d
18