1--TEST--
2Generator return value has to have Traversable-ish, but may also have extra types
3--FILE--
4<?php
5
6interface I {
7    public function test(): iterable|false;
8}
9
10class C implements I {
11    public function test(): iterable|false {
12        yield;
13    }
14}
15
16var_dump((new C)->test());
17
18?>
19--EXPECT--
20object(Generator)#2 (0) {
21}
22