1--TEST--
2iterable type with object should be allowed in variance checks
3--FILE--
4<?php
5
6class A {
7    public object|iterable $x;
8    public object|array $y;
9}
10class B extends A {
11    public object|array $x;
12    public object|iterable $y;
13}
14
15?>
16===DONE===
17--EXPECT--
18===DONE===
19