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