--TEST--
Co-variance failure for intersection type where child is union, but not all members are a subtype of intersection 1
--FILE--
<?php

interface X {}
interface Y {}

interface L {}

class TestOne implements X, Y {}
class TestTwo implements X {}

interface A
{
    public function foo(): (X&Y)|L;
}

interface B extends A
{
    public function foo(): TestOne|TestTwo;
}

?>
--EXPECTF--
Fatal error: Declaration of B::foo(): TestOne|TestTwo must be compatible with A::foo(): (X&Y)|L in %s on line %d