php-generics-standard/tests/docblock/generator_simple.php at main · DaveLiddament/php-generics-standard · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
<?php

declare(strict_types=1);

/**
 * @return \Generator<int, string>
 */
function foo(): \Generator
{
    yield 1 => 'foo';
}

function takesInt(int $value): void
{
}

function takesString(string $value): void
{
}


foreach (foo() as $key => $value) {
    takesInt($key); // OK
    takesString($value); // OK

    takesString($key); // ERROR, expects string, given int
    takesInt($value); // ERROR, expects int, given string
}