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