Bug report

For some reason a yielding closure as well as the generator returned upon invocation may falsely pass return type checks.

Code snippet that reproduces the problem

https://phpstan.org/r/5970e2e2-0aad-4927-8938-3f7d83e73a95

Expected output

Both return statements should trigger an error due the returned values not being integers.

Did PHPStan help you today? Did it make you happy in any way?

Yes :), cf. #12363 (comment).