non-void function in untyped void function lead to sometimes returns something

[adaamz]

Bug report

When we have void anonymous function that has non-void returning anonymous function, phpstan is unable to declare that outer function "returns" void.

Code snippet that reproduces the problem

https://phpstan.org/r/51e621e4-3353-43ee-ad98-73099ad897cd

Expected output

Anonymous function should have native return typehint "void".

Current output

Anonymous function sometimes return something but return statement at the end is missing.

[ondrejmirtes]

You're right, we shouldn't dive into nested closures.

[ondrejmirtes]

Related problem: https://phpstan.org/r/bf7c1af2-4063-4ee0-8d04-3aa3a987754b

Expected: Anonymous function should have native return typehint "stdClass".

[github-actions]

This thread has been automatically locked since there has not been any recent activity after it was closed. Please open a new issue for related bugs.