xref: /PHP-8.3/Zend/tests/bug80391.phpt (revision 912cb8b8)
1--TEST--
2Iterable not covariant to mixed
3--FILE--
4<?php
5
6class A {
7    public function method1(): mixed {}
8    public function method2(): array|object {}
9    public function method3(iterable $x) {}
10    public function method4(iterable $x) {}
11}
12
13class B extends A {
14    public function method1(): iterable {}
15    public function method2(): iterable {}
16    public function method3(mixed $x) {}
17    public function method4(array|object $x) {}
18}
19
20?>
21===DONE===
22--EXPECT--
23===DONE===
24