Generator send type is not checked when traversing it with foreach

[weirdan]

https://psalm.dev/r/11773a3883

I'd expect something along the lines of Cannot iterate over a generator with non-nullable send() parameter type.

[psalm-github-bot]

I found these snippets:

https://psalm.dev/r/11773a3883

<?php
/** @return Generator<int, int, string, string> */
function f(): Generator {
    return yield 1;
}
$i = f();

// the following iteration should be flagged, 
// as `foreach` calls `next()` and it's the same as calling `send(null)`
foreach ($i as $_k => $_v);

$i->send(null); // this is correctly flagged

Psalm output (using commit b4d25cb):

ERROR: NullArgument - 12:10 - Argument 1 of Generator::send cannot be null, null value provided to parameter with type string