Return from declare() block is ignored

[hocker1]

Bug report

PHPStan seems to ignore code inside declare() { ... } blocks.

Code snippet that reproduces the problem

https://phpstan.org/r/626c6650-affc-4827-92ff-9f245ca2eb12

Expected output

I expected PHPStan to report that the code is ok. Instead, it reports that the return statement is missing, which is not true, there is return statement inside the declare() block.

[ondrejmirtes]

You win "the most surprising issue of 2023" award! :) https://twitter.com/OndrejMirtes/status/1657300073196265473

[phpstan-bot]

@hocker1 After the latest push in 1.11.x, PHPStan now reports different result with your code snippet:

@@ @@
-4: Function a() should return int but return statement is missing.
+No errors

[mad-briller]

@ondrejmirtes this is fixed now

[ondrejmirtes]

@mad-briller If you want to do the God's work, please send regression tests for these fixed issues: #5266, #9309, #9394, #6922. Thank you.

[mad-briller]

sorry @ondrejmirtes i've been away from pc for a few days and you beat me to it

[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.