1--TEST--
2Invalid property inheritance where one direction is valid and the other unresolved
3--FILE--
4<?php
5class A {
6    public X|B $prop;
7}
8class B extends A {
9    public B $prop;
10}
11?>
12--EXPECTF--
13Fatal error: Type of B::$prop must be X|B (as in class A) in %s on line %d
14